From a725c0c6f8889105354c26f8dc1125bb90467d55 Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@gnu.org>
Date: Mon, 6 Jan 2020 01:37:15 -0600
Subject: [PATCH 06/12] gnu: coq-flocq: Use HTTPS home page URI.
To: guix-patches@gnu.org
* gnu/packages/coq.scm (coq-flocq)[home-page]: Use HTTPS URI.
---
gnu/packages/coq.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
@@ -253,7 +253,7 @@ provers.")
(replace 'install
(lambda _
(invoke "./remake" "install"))))))
- (home-page "http://flocq.gforge.inria.fr/")
+ (home-page "https://flocq.gforge.inria.fr/")
(synopsis "Floating-point formalization for the Coq system")
(description "Flocq (Floats for Coq) is a floating-point formalization for
the Coq system. It provides a comprehensive library of theorems on a multi-radix
--
2.24.1