From 5bfaabd99bb4e0fb226475ae15c24113037b3f29 Mon Sep 17 00:00:00 2001
From: Patrick Elliott <patrick.d.elliott@gmail.com>
Date: Thu, 6 Sep 2018 01:29:01 +0200
Subject: [PATCH] Proof-general is now on melpa

---
 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 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)