diff --git a/modules/lang/coq/packages.el b/modules/lang/coq/packages.el
index de91100fd..546c0060d 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 "4f6b6027632f55d7a8248ae509cc6526a372ce9f")
+(package! proof-general :pin "0fdb1ae633baeb9afb07bbd8632bece5976f95f2")
 (package! company-coq :pin "b096cb528de1e0bb31cc1059d0bd698b98a6cc6a")