[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
24/87: gnu: ocaml-topkg: Use HTTPS home page URI.
|
From: |
guix-commits |
|
Subject: |
24/87: gnu: ocaml-topkg: Use HTTPS home page URI. |
|
Date: |
Sun, 28 Feb 2021 06:06:33 -0500 (EST) |
ngz pushed a commit to branch master
in repository guix.
commit 0e0153e3362d7f5055656576f203f1d7781667dd
Author: Nicolas Goaziou <mail@nicolasgoaziou.fr>
AuthorDate: Sun Feb 28 11:20:14 2021 +0100
gnu: ocaml-topkg: Use HTTPS home page URI.
* gnu/packages/ocaml.scm (ocaml-topkg)[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 55cbf4f..5bbf645 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1641,7 +1641,7 @@ defined in this library.")
#:phases
(modify-phases %standard-phases
(delete 'configure))))
- (home-page "http://erratique.ch/software/topkg";)
+ (home-page "https://erratique.ch/software/topkg";)
(synopsis "Transitory OCaml software packager")
(description "Topkg is a packager for distributing OCaml software. It
provides an API to describe the files a package installs in a given build
- 13/87: gnu: ocaml-bos: Use HTTPS home page URI., (continued)
- 13/87: gnu: ocaml-bos: Use HTTPS home page URI., guix-commits, 2021/02/28
- 10/87: gnu: licenseheaders: Use HTTPS home page URI., guix-commits, 2021/02/28
- 05/87: gnu: ganeti: Use HTTPS home page URI., guix-commits, 2021/02/28
- 09/87: gnu: heads-dev-cpio: Use HTTPS home page URI., guix-commits, 2021/02/28
- 15/87: gnu: ocaml-cudf: Use HTTPS home page URI., guix-commits, 2021/02/28
- 12/87: gnu: ocaml-astring: Use HTTPS home page URI., guix-commits, 2021/02/28
- 18/87: gnu: ocaml-fpath: Use HTTPS home page URI., guix-commits, 2021/02/28
- 20/87: gnu: ocaml-logs: Use HTTPS home page URI., guix-commits, 2021/02/28
- 28/87: gnu: perl-mojolicious: Use HTTPS home page URI., guix-commits, 2021/02/28
- 22/87: gnu: ocaml-react: Use HTTPS home page URI., guix-commits, 2021/02/28
- 24/87: gnu: ocaml-topkg: Use HTTPS home page URI.,
guix-commits <=
- 32/87: gnu: python-flint: Use HTTPS home page URI., guix-commits, 2021/02/28
- 31/87: gnu: python-cycler: Use HTTPS home page URI., guix-commits, 2021/02/28
- 45/87: gnu: python-pyzabbix: Use HTTPS home page URI., guix-commits, 2021/02/28
- 40/87: gnu: python-notebook: Use HTTPS home page URI., guix-commits, 2021/02/28
- 48/87: gnu: qtractor: Use HTTPS home page URI., guix-commits, 2021/02/28
- 46/87: gnu: python-qtconsole: Use HTTPS home page URI., guix-commits, 2021/02/28
- 33/87: gnu: python-jose: Use HTTPS home page URI., guix-commits, 2021/02/28
- 66/87: gnu: rust-gdk-0.13: Use HTTPS home page URI., guix-commits, 2021/02/28
- 56/87: gnu: r-pastecs: Update home page., guix-commits, 2021/02/28
- 58/87: gnu: r-shiny: Use HTTPS home page URI., guix-commits, 2021/02/28