summary refs log tree commit diff
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2021-02-28 11:16:24 +0100
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2021-02-28 11:16:24 +0100
commit45bfc108d7e5faba6c98048cf9a64070af4bac3e (patch)
tree781619fbc205d837b7e183a7aa33172ecdba7586
parentb7c2df602b8f4598de129a2a9a74bb9f7cdcb0ab (diff)
downloadguix-45bfc108d7e5faba6c98048cf9a64070af4bac3e.tar.gz
gnu: ocaml-dose3: Use HTTPS home page URI.
* gnu/packages/ocaml.scm (ocaml-dose3)[home-page]: Use HTTPS URI.
-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 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