diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-18 21:29:56 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-02-29 15:21:45 +0100 |
| commit | 91c19e76a5c456c2861ca48754563e7cc86ff5f2 (patch) | |
| tree | 63af0937cfeb7aac86273e8d91f4bb440aedc5e1 /gnu | |
| parent | ba11a8bdf466071967c6a472f8640c6d894b201b (diff) | |
| download | patches-91c19e76a5c456c2861ca48754563e7cc86ff5f2.tar patches-91c19e76a5c456c2861ca48754563e7cc86ff5f2.tar.gz | |
gnu: ocaml-mccs: Use HTTPS home page.
* gnu/packages/ocaml.scm (ocaml-mccs)[home-page]: Use HTTPS.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/ocaml.scm | 2 |
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 |