From a6eedafb7856dff74f30015555daef462d6de760 Mon Sep 17 00:00:00 2001 From: shenleban tongying Date: Wed, 23 Feb 2022 02:18:41 -0500 Subject: [PATCH] bump: :lang coq ProofGeneral/PG@2145c23f44a0 -> ProofGeneral/PG@df19c7ba0ead --- modules/lang/coq/packages.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/lang/coq/packages.el b/modules/lang/coq/packages.el index 4d79a6512..71e4cf67b 100644 --- a/modules/lang/coq/packages.el +++ b/modules/lang/coq/packages.el @@ -1,5 +1,5 @@ ;; -*- no-byte-compile: t; -*- ;;; lang/coq/packages.el -(package! proof-general :pin "2145c23f44a0951a14240d3b85a1a3d08aade9bb") +(package! proof-general :pin "df19c7ba0eadf9f47e9dd757a7d0350fc967da99") (package! company-coq :pin "382db93374380e5db56f02934ee32bbe39159019")