diff --git a/modules/lang/coq/packages.el b/modules/lang/coq/packages.el
index 1dd8b45a4..4d79a6512 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 "e2b4227e1f63a78198d1b7521b63619fb702d3f5")
+(package! proof-general :pin "2145c23f44a0951a14240d3b85a1a3d08aade9bb")
 (package! company-coq :pin "382db93374380e5db56f02934ee32bbe39159019")