From 0d2753ccc138877aea367512c8e6e3babb0ed474 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sun, 19 Jan 2020 00:51:22 +0100
Subject: 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 60944ddb04..98768c668a 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
-- 
cgit v1.2.3