gitback/doomemacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bump :lang coq

Browse Source 
ProofGeneral/PG@4f6b602 -> ProofGeneral/PG@0fdb1ae
This commit is contained in:
Henrik Lissner 2020-10-19 01:15:31 -04:00
parent b1c88ab1d1
commit aa460786b6
No known key found for this signature in database
GPG Key ID: 5F6C0EA160557395
1 changed files with 1 additions and 1 deletions
Show Stats 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 "4f6b6027632f55d7a8248ae509cc6526a372ce9f")
(package! proof-general :pin "0fdb1ae633baeb9afb07bbd8632bece5976f95f2")
(package! company-coq :pin "b096cb528de1e0bb31cc1059d0bd698b98a6cc6a")