From 17dea2e2798574d8bae4fc27a74cd694c6f9155c Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sat, 18 Jan 2020 23:03:13 +0100 Subject: gnu: idris: Use HTTPS home page. * gnu/packages/idris.scm (idris)[home-page]: Use HTTPS. --- gnu/packages/idris.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages/idris.scm') diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 4c6c5e1aef..14b16882f0 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -121,7 +121,7 @@ (list (search-path-specification (variable "IDRIS_LIBRARY_PATH") (files '("lib/idris"))))) - (home-page "http://www.idris-lang.org") + (home-page "https://www.idris-lang.org") (synopsis "General purpose language with full dependent types") (description "Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types to -- cgit v1.2.3