diff --git a/modules/lang/coq/packages.el b/modules/lang/coq/packages.el
index 3ae652118..78a5c61be 100644
--- a/modules/lang/coq/packages.el
+++ b/modules/lang/coq/packages.el
@@ -1,6 +1,6 @@
 ;; -*- no-byte-compile: t; -*-
 ;;; lang/coq/packages.el
 
-(package! proof-general :recipe (:fetcher github :repo "ProofGeneral/PG" :files ("*")))
+(package! proof-general)
 
 (package! company-coq)