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

bump: :lang coq

Browse Source 
ProofGeneral/PG@e2b4227e1f -> ProofGeneral/PG@2145c23f44

Fix: #5742
This commit is contained in:
Henrik Lissner
2021-11-20 00:06:48 +01:00
parent 3a669d8daa
commit cd206ad1c7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,5 +1,5 @@
;; -*- no-byte-compile: t; -*-
;;; lang/coq/packages.el
(package! proof-general :pin "e2b4227e1f63a78198d1b7521b63619fb702d3f5")
(package! proof-general :pin "2145c23f44a0951a14240d3b85a1a3d08aade9bb")
(package! company-coq :pin "382db93374380e5db56f02934ee32bbe39159019")