mbakke pushed a commit to branch master
in repository guix.
commit 53eaf69d6dd09208455f1645e8c8fe62a50b527d
Author: John Soo <[email protected]>
AuthorDate: Sun Mar 29 02:26:46 2020 -0700
gnu: proof-general: Update home-page.
* gnu/packages/coq.scm (proof-general):[home-page] update to
proofgeneral.github.io
Signed-off-by: Marius Bakke <[email protected]>
---
gnu/packages/coq.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 2ff31c5..1324357 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -196,7 +196,7 @@ It is developed using Objective Caml and Camlp5.")
(substitute* "Makefile"
((" [^ ]*\\.pdf") ""))
(apply invoke "make" "install-doc" make-flags))))))
- (home-page "http://proofgeneral.inf.ed.ac.uk/";)
+ (home-page "https://proofgeneral.github.io/ ")
(synopsis "Generic front-end for proof assistants based on Emacs")
(description
"Proof General is a major mode to turn Emacs into an interactive proof
