[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
08/14: gnu: idris: Use HTTPS home page.
|
From: |
guix-commits |
|
Subject: |
08/14: gnu: idris: Use HTTPS home page. |
|
Date: |
Mon, 9 Mar 2020 11:01:45 -0400 (EDT) |
nckx pushed a commit to branch master
in repository guix.
commit 17dea2e2798574d8bae4fc27a74cd694c6f9155c
Author: Tobias Geerinckx-Rice <address@hidden>
AuthorDate: Sat Jan 18 23:03:13 2020 +0100
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(-)
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index 4c6c5e1..14b1688 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
- branch master updated (0ccc138 -> 4227a73), guix-commits, 2020/03/09
- 04/14: gnu: claws-mail: Update to 3.17.5., guix-commits, 2020/03/09
- 08/14: gnu: idris: Use HTTPS home page.,
guix-commits <=
- 06/14: gnu: xfce4-power-manager: Don't use NAME in source URI., guix-commits, 2020/03/09
- 02/14: gnu: s6-linux-init: Update to 1.0.4.0., guix-commits, 2020/03/09
- 09/14: gnu: plotutils: Use HTTPS home page., guix-commits, 2020/03/09
- 13/14: gnu: tcsh: Use HTTPS home page., guix-commits, 2020/03/09
- 01/14: download: Remove misbehaving kvin.lv mirror., guix-commits, 2020/03/09
- 11/14: gnu: speedcrunch: Use HTTPS home page., guix-commits, 2020/03/09
- 14/14: gnu: libostree: Update to 2020.2., guix-commits, 2020/03/09
- 05/14: gnu: xfburn: Update to 0.6.2., guix-commits, 2020/03/09
- 10/14: gnu: ding: Use HTTPS home page., guix-commits, 2020/03/09
- 07/14: gnu: xfce4-power-manager: Update to 1.7.0., guix-commits, 2020/03/09