diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-02-28 11:18:27 +0100 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-02-28 11:18:27 +0100 |
| commit | 3b50326df0f42b47db0602735503b431669c58e4 (patch) | |
| tree | 2c437e1e1dae35c70573a98e1e60590301b58c71 /gnu/packages | |
| parent | bc3a2c427480bdeb0a0243d05fceb4e5dda2461a (diff) | |
gnu: ocaml-logs: Use HTTPS home page URI.
* gnu/packages/ocaml.scm (ocaml-logs)[home-page]: Use HTTPS URI.
Diffstat (limited to 'gnu/packages')
| -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 ffee4f6b9c..88f9293c58 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2128,7 +2128,7 @@ ocaml lwt.") ("result" ,ocaml-result) ("cmdliner" ,ocaml-cmdliner) ("topkg" ,ocaml-topkg))) - (home-page "http://erratique.ch/software/logs") + (home-page "https://erratique.ch/software/logs") (synopsis "Logging infrastructure for OCaml") (description "Logs provides a logging infrastructure for OCaml. Logging is performed on sources whose reporting level can be set independently. Log |