aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-01-18 21:29:56 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2020-02-29 15:21:45 +0100
commit91c19e76a5c456c2861ca48754563e7cc86ff5f2 (patch)
tree63af0937cfeb7aac86273e8d91f4bb440aedc5e1 /gnu/packages/ocaml.scm
parentba11a8bdf466071967c6a472f8640c6d894b201b (diff)
downloadguix-91c19e76a5c456c2861ca48754563e7cc86ff5f2.tar
guix-91c19e76a5c456c2861ca48754563e7cc86ff5f2.tar.gz
gnu: ocaml-mccs: Use HTTPS home page.
* gnu/packages/ocaml.scm (ocaml-mccs)[home-page]: Use HTTPS.
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r--gnu/packages/ocaml.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 2bf9672bf1..35701039ad 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