GNU bug report logs - #38965
[PATCH 00/12] gnu: coq: Update to 8.10.2.

Previous Next

Full log

Message #35 received at 38965 <at> debbugs.gnu.org (full text, mbox):

From: Brett Gilio <brettg <at> gnu.org>
To: 38965 <at> debbugs.gnu.org
Subject: [PATCH 10/12] gnu: coq-coquelicot: Truncate home-page.
Date: Mon, 06 Jan 2020 02:28:12 -0600

[0010-gnu-coq-coquelicot-Truncate-home-page.patch (text/x-patch, inline)]

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

* 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.