mirror of
https://github.com/doomemacs/doomemacs
synced 2025-09-08 15:23:35 -05:00
7533707e00
To work around shenanigans in proof-general's autoloads. Should be reverted once ProofGeneral/PG#771 is resolved. Fix: #8169 Ref: ProofGeneral/PG#771
9 lines
310 B
EmacsLisp
9 lines
310 B
EmacsLisp
;; -*- no-byte-compile: t; -*-
|
|
;;; lang/coq/packages.el
|
|
|
|
(package! proof-general
|
|
:pin "3a99da275523c8f844fdfa3dd073295eece939f3"
|
|
;; REVIEW: Remove when ProofGeneral/PG#771 is fixed. Also see #8169.
|
|
:recipe (:build (:not autoloads)))
|
|
(package! company-coq :pin "5affe7a96a25df9101f9e44bac8a828d8292c2fa")
|