From 17dea2e2798574d8bae4fc27a74cd694c6f9155c Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
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 1.4.1