[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
16/87: gnu: ocaml-dose3: Use HTTPS home page URI.
From: |
guix-commits |
Subject: |
16/87: gnu: ocaml-dose3: Use HTTPS home page URI. |
Date: |
Sun, 28 Feb 2021 06:06:30 -0500 (EST) |
ngz pushed a commit to branch master
in repository guix.
commit 45bfc108d7e5faba6c98048cf9a64070af4bac3e
Author: Nicolas Goaziou <mail@nicolasgoaziou.fr>
AuthorDate: Sun Feb 28 11:16:24 2021 +0100
gnu: ocaml-dose3: Use HTTPS home page URI.
* gnu/packages/ocaml.scm (ocaml-dose3)[home-page]: Use HTTPS URI.
---
gnu/packages/ocaml.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 8907968..3f23966 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
- branch master updated (bebfe06 -> 372b15f), guix-commits, 2021/02/28
- 01/87: gnu: f-seq: Use HTTPS home page URI., guix-commits, 2021/02/28
- 16/87: gnu: ocaml-dose3: Use HTTPS home page URI.,
guix-commits <=
- 11/87: gnu: lttoolbox: Use HTTPS home page URI., guix-commits, 2021/02/28
- 08/87: gnu: ghc-indents: Update home page., guix-commits, 2021/02/28
- 17/87: gnu: ocaml-fmt: Use HTTPS home page URI., guix-commits, 2021/02/28
- 26/87: gnu: ocaml-uutf: Use HTTPS home page URI., guix-commits, 2021/02/28
- 25/87: gnu: ocaml-uuidm: Use HTTPS home page URI., guix-commits, 2021/02/28
- 27/87: gnu: ocaml-xmlm: Use HTTPS home page URI., guix-commits, 2021/02/28
- 07/87: gnu: gst123: Use HTTPS home page URI., guix-commits, 2021/02/28
- 04/87: gnu: flux: Use HTTPS home page URI., guix-commits, 2021/02/28
- 03/87: gnu: fluidsynth: Use HTTPS home page URI., guix-commits, 2021/02/28
- 06/87: gnu: gegl: Use HTTPS home page URI., guix-commits, 2021/02/28