[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
05/05: gnu: ocaml-mccs: Use HTTPS home page.
|
From: |
guix-commits |
|
Subject: |
05/05: gnu: ocaml-mccs: Use HTTPS home page. |
|
Date: |
Sat, 29 Feb 2020 09:22:40 -0500 (EST) |
nckx pushed a commit to branch master
in repository guix.
commit 91c19e76a5c456c2861ca48754563e7cc86ff5f2
Author: Tobias Geerinckx-Rice <address@hidden>
AuthorDate: Sat Jan 18 21:29:56 2020 +0100
gnu: ocaml-mccs: Use HTTPS home page.
* gnu/packages/ocaml.scm (ocaml-mccs)[home-page]: Use HTTPS.
---
gnu/packages/ocaml.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 2bf9672..3570103 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -340,7 +340,7 @@ Software distribution.")
"1i0hhkrqi7rqlainlg5pc4hibbx6b5dp3x99gmav8c3sbfvlk9mc"))))
(build-system dune-build-system)
(propagated-inputs `(("ocaml-cudf" ,ocaml-cudf)))
- (home-page "http://www.i3s.unice.fr/~cpjm/misc/";)
+ (home-page "https://www.i3s.unice.fr/~cpjm/misc/";)
(synopsis "Upgrade path problem solver")
(description "Mccs (Multi Criteria CUDF Solver) is a CUDF problem solver.
Mccs take as input a CUDF problem and computes the best solution according to