futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gnu: proof-general: Update home-page.

Browse Source 
* gnu/packages/coq.scm (proof-general):[home-page] update to proofgeneral.github.io

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
This commit is contained in:
John Soo 2020-03-29 02:26:46 -07:00 committed by Marius Bakke
parent 5bd5d6ef2d
commit 53eaf69d6d
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gnu/packages/coq.scm
View File

@ -196,7 +196,7 @@ It is developed using Objective Caml and Camlp5.")
(substitute* "Makefile" (substitute* "Makefile"
((" [^ ]*\\.pdf") "")) ((" [^ ]*\\.pdf") ""))
(apply invoke "make" "install-doc" make-flags)))))) (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") (synopsis "Generic front-end for proof assistants based on Emacs")
(description (description
"Proof General is a major mode to turn Emacs into an interactive proof "Proof General is a major mode to turn Emacs into an interactive proof