[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
11/30: gnu: proof-general: Update home-page.
|
From: |
guix-commits |
|
Subject: |
11/30: gnu: proof-general: Update home-page. |
|
Date: |
Thu, 2 Apr 2020 14:55:46 -0400 (EDT) |
mbakke pushed a commit to branch master
in repository guix.
commit 53eaf69d6dd09208455f1645e8c8fe62a50b527d
Author: John Soo <address@hidden>
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 <address@hidden>
---
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
- branch master updated (8549e47 -> 70c128d), guix-commits, 2020/04/02
- 01/30: gnu: python-pyasn1: Update to 0.4.8., guix-commits, 2020/04/02
- 02/30: gnu: sdl2: Use udev to discover input devices., guix-commits, 2020/04/02
- 04/30: gnu: Add emacs-ac-geiser., guix-commits, 2020/04/02
- 05/30: gnu: Add r-oenb., guix-commits, 2020/04/02
- 06/30: gnu: cedille: Fix emacs outputs., guix-commits, 2020/04/02
- 03/30: gnu: sdl2: Update to 2.0.12., guix-commits, 2020/04/02
- 07/30: gnu: cedille: Install the info pages., guix-commits, 2020/04/02
- 10/30: gnu: proof-general: Update to 4.4., guix-commits, 2020/04/02
- 11/30: gnu: proof-general: Update home-page.,
guix-commits <=
- 08/30: gnu: Add xwallpaper., guix-commits, 2020/04/02
- 12/30: gnu: Add font-iosevka-term-slab., guix-commits, 2020/04/02
- 09/30: gnu: gnome-default-applications: Change defaults.list to gnome-mimeapps.list., guix-commits, 2020/04/02
- 17/30: gnu: Add python-canonicaljson., guix-commits, 2020/04/02
- 14/30: services: murmur: Add missing newline in murmur-configuration., guix-commits, 2020/04/02
- 16/30: gnu: Add python-unpaddedbase64., guix-commits, 2020/04/02
- 18/30: gnu: Add python-signedjson., guix-commits, 2020/04/02
- 13/30: gnu: Add font-iosevka-term., guix-commits, 2020/04/02
- 15/30: gnu: Add python-frozendict., guix-commits, 2020/04/02
- 20/30: gnu: Add python-pymacaroons., guix-commits, 2020/04/02