08/10: gnu: coq-coquelicot: Truncate home-page.

[guix-commits]

brettgilio pushed a commit to branch master
in repository guix.

commit c0228096411bb4b81cf1dce6d0ed35a2129270c1
Author: Brett Gilio <address@hidden>
AuthorDate: Mon Jan 6 01:40:27 2020 -0600

    gnu: coq-coquelicot: Truncate home-page.
    
    * gnu/packages/coq.scm (coq-coquelicot)[home-page]: Truncate home-page.
---
 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 0e4a1f2..2666b42 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -404,7 +404,7 @@ part of the distribution.")
            (lambda _ (invoke "./remake" "check")))
          (replace 'install
            (lambda _ (invoke "./remake" "install"))))))
-    (home-page "http://coquelicot.saclay.inria.fr/index.html";)
+    (home-page "http://coquelicot.saclay.inria.fr";)
     (synopsis "Coq library for Reals")
     (description "Coquelicot is an easier way of writing formulas and theorem
 statements, achieved by relying on total functions in place of dependent types