aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBjörn Höfling <bjoern.hoefling@bjoernhoefling.de>2020-03-05 10:02:40 +0100
committerBjörn Höfling <bjoern.hoefling@bjoernhoefling.de>2020-03-05 10:11:34 +0100
commit6656123d26e0988461c320636f3bfcbe86370248 (patch)
treec209b6e40c326fa9488a83bf890496fc1f81775d
parentc5bb55a8446f94098d4484e47c1cf976b726ef14 (diff)
downloadguix-6656123d26e0988461c320636f3bfcbe86370248.tar.gz
guix-6656123d26e0988461c320636f3bfcbe86370248.zip
gnu: coq-mathcomp: Update home page URI.
* gnu/packages/coq.scm (coq-mathcomp)[home-page]: Update URI.
-rw-r--r--gnu/packages/coq.scm3
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 3eba39e5d0..f883c2f690 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -3,6 +3,7 @@
;;; Copyright © 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2019 Dan Frumin <dfrumin@cs.ru.nl>
;;; Copyright © 2020 Brett Gilio <brettg@gnu.org>
+;;; Copyright © 2020 Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -353,7 +354,7 @@ assistant.")
(string-append "COQLIB=" (assoc-ref outputs "out")
"/lib/coq/")
"install"))))))
- (home-page "https://math-comp.github.io/math-comp/")
+ (home-page "https://math-comp.github.io/")
(synopsis "Mathematical Components for Coq")
(description "Mathematical Components for Coq has its origins in the formal
proof of the Four Colour Theorem. Since then it has grown to cover many areas