diff options
| author | John Soo <jsoo1@asu.edu> | 2020-03-29 02:26:46 -0700 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-04-02 20:55:14 +0200 |
| commit | 53eaf69d6dd09208455f1645e8c8fe62a50b527d (patch) | |
| tree | 0eaaaa0b538147c0d7ee69f3ce0c3ad7be5c1028 | |
| parent | 5bd5d6ef2d42367398176aea87fe6a1fe61ab198 (diff) | |
| download | patches-53eaf69d6dd09208455f1645e8c8fe62a50b527d.tar patches-53eaf69d6dd09208455f1645e8c8fe62a50b527d.tar.gz | |
gnu: proof-general: Update home-page.
* gnu/packages/coq.scm (proof-general):[home-page] update to proofgeneral.github.io
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
| -rw-r--r-- | gnu/packages/coq.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 2ff31c5f39..13243578b1 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 |