[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/04: gnu: agda: Use HTTPS home page.
From: |
guix-commits |
Subject: |
03/04: gnu: agda: Use HTTPS home page. |
Date: |
Mon, 16 Mar 2020 11:33:33 -0400 (EDT) |
nckx pushed a commit to branch master
in repository guix.
commit 0d2753ccc138877aea367512c8e6e3babb0ed474
Author: Tobias Geerinckx-Rice <address@hidden>
AuthorDate: Sun Jan 19 00:51:22 2020 +0100
gnu: agda: Use HTTPS home page.
* gnu/packages/agda.scm (agda)[home-page]: Use HTTPS.
---
gnu/packages/agda.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 60944dd..98768c6 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -126,7 +126,7 @@
(for-each (cut invoke agda-compiler <>)
(find-files (string-append out "/share") "\\.agda$"))
#t))))))
- (home-page "http://wiki.portal.chalmers.se/agda/")
+ (home-page "https://wiki.portal.chalmers.se/agda/")
(synopsis
"Dependently typed functional programming language and proof assistant")
(description