awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-09 12:57:25 -05:00
Code Issues Packages Projects Releases Wiki Activity

bump: :lang cc clojure coq elixir lua ocaml php purescript

Browse Source 
ProofGeneral/PG@e0ec3db200 -> ProofGeneral/PG@85cde55a86
ananthakumaran/exunit.el@ee06b14b61 -> ananthakumaran/exunit.el@8de56e3fd5
emacs-lsp/emacs-ccls@41399b0eba -> emacs-lsp/emacs-ccls@28c7930c89
emacs-php/php-mode@0f756a8c07 -> emacs-php/php-mode@5b6cc1c068
hhvm/hack-mode@343e45f2a6 -> hhvm/hack-mode@0addbff8b6
immerrr/lua-mode@d074e4134b -> immerrr/lua-mode@2f6b8d7a63
jart/disaster@b20f8e1ef9 -> jart/disaster@8b44591322
jwiegley/emacs-async@b99658e831 -> jwiegley/emacs-async@bb3f31966e
ocaml/dune@b74586e909 -> ocaml/dune@a46193e167
ocaml/merlin@92c3ba9473 -> ocaml/merlin@2eeb63d002
ocaml/tuareg@1d53723e39 -> ocaml/tuareg@1600fdad28
purescript-emacs/purescript-mode@b076bafe94 -> purescript-emacs/purescript-mode@a3d6ca4ba5
technomancy/fennel-mode@4ccb6d5944 -> technomancy/fennel-mode@811f39de12
This commit is contained in:
Henrik Lissner
2025-03-31 01:02:38 -04:00
parent d8bbe03d0c
commit 9be19e20dc
8 changed files with 15 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
modules/lang/coq/packages.el
View File

@ -2,7 +2,7 @@
;;; lang/coq/packages.el
(package! proof-general
:pin "e0ec3db200f8ed465ec533b6409e64e3dfb6a9b0"
:pin "85cde55a86b2c3a67d8bbffa8de0d0276f724643"
;; REVIEW: Remove when ProofGeneral/PG#771 is fixed. Also see #8169.
:recipe (:build (:not autoloads)))
(package! company-coq :pin "5affe7a96a25df9101f9e44bac8a828d8292c2fa")