diff options
author | Marius Bakke <mbakke@fastmail.com> | 2020-03-02 23:49:10 +0100 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2020-03-02 23:49:10 +0100 |
commit | fb98351621a6b311d4ff9593d6c22d40a3b3fe8f (patch) | |
tree | 05fb46c92657a70cad6923c64b63540a88555bb4 /gnu/packages/ocaml.scm | |
parent | d614f0bba90c86c836131eea3ebb9cbd30f19abf (diff) | |
parent | 15a6805751309452616999933492f1fb9da8bcec (diff) | |
download | patches-fb98351621a6b311d4ff9593d6c22d40a3b3fe8f.tar patches-fb98351621a6b311d4ff9593d6c22d40a3b3fe8f.tar.gz |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/ocaml.scm')
-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 |