gnu: Add libwhich.

[jackhill/guix/guix.git] / gnu / packages / agda.scm

diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 60944dd..98768c6 100644 (file)
--- 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