diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-02-28 11:16:24 +0100 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-02-28 11:16:24 +0100 |
| commit | 45bfc108d7e5faba6c98048cf9a64070af4bac3e (patch) | |
| tree | 781619fbc205d837b7e183a7aa33172ecdba7586 /gnu/packages/ocaml.scm | |
| parent | b7c2df602b8f4598de129a2a9a74bb9f7cdcb0ab (diff) | |
gnu: ocaml-dose3: Use HTTPS home page URI.
* gnu/packages/ocaml.scm (ocaml-dose3)[home-page]: Use HTTPS URI.
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 89079686d7..3f23966b56 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -379,7 +379,7 @@ underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.") ("ocaml-extlib" ,ocaml-extlib) ("ocamlbuild" ,ocamlbuild) ("ocaml-cppo" ,ocaml-cppo))) - (home-page "http://www.mancoosi.org/software/") + (home-page "https://www.mancoosi.org/software/") (synopsis "Package distribution management framework") (description "Dose3 is a framework made of several OCaml libraries for managing distribution packages and their dependencies. Though not tied to |