summary refs log tree commit diff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-01-18 23:03:13 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2020-03-09 16:01:18 +0100
commit17dea2e2798574d8bae4fc27a74cd694c6f9155c (patch)
treefcb6fb03de5f1e9284e8321ac1fbeb98cbba582f /gnu/packages/idris.scm
parent8a34536f00ad95db494e8efc42027004f94f47df (diff)
downloadguix-17dea2e2798574d8bae4fc27a74cd694c6f9155c.tar.gz
gnu: idris: Use HTTPS home page.
* gnu/packages/idris.scm (idris)[home-page]: Use HTTPS.
Diffstat (limited to 'gnu/packages/idris.scm')
-rw-r--r--gnu/packages/idris.scm2
1 files changed, 1 insertions, 1 deletions
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