05/05: gnu: coq-mathcomp: Update home page URI.

[guix-commits]

hoebjo pushed a commit to branch master
in repository guix.

commit 6656123d26e0988461c320636f3bfcbe86370248
Author: Björn Höfling <address@hidden>
AuthorDate: Thu Mar 5 10:02:40 2020 +0100

    gnu: coq-mathcomp: Update home page URI.
    
    * gnu/packages/coq.scm (coq-mathcomp)[home-page]: Update URI.
---
 gnu/packages/coq.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 3eba39e..f883c2f 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -3,6 +3,7 @@
 ;;; Copyright © 2018, 2019 Tobias Geerinckx-Rice <address@hidden>
 ;;; Copyright © 2019 Dan Frumin <address@hidden>
 ;;; Copyright © 2020 Brett Gilio <address@hidden>
+;;; Copyright © 2020 Björn Höfling <address@hidden>
 ;;;
 ;;; 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