Subject: [bug#38965] [PATCH 10/12] gnu: coq-coquelicot: Truncate home-page.

From: Brett Gilio <[email-masked]>
Date: Mon, 06 Jan 2020 02:28:12 -0600

>From e292512deb9c9c30bb2dffa9bf405c8a9aea66f7 Mon Sep 17 00:00:00 2001
From: Brett Gilio <[email-masked]>
Date: Mon, 6 Jan 2020 01:40:27 -0600
Subject: [PATCH 10/12] gnu: coq-coquelicot: Truncate home-page.
To: [email-masked]

* 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 b5de804c9d..5a48aede30 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -403,7 +403,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
-- 
2.24.1