diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-19 00:51:22 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-03-16 16:32:43 +0100 |
| commit | 0d2753ccc138877aea367512c8e6e3babb0ed474 (patch) | |
| tree | ec737cb2c6a963d1e6070e0c93d4b9a10f544834 | |
| parent | 5adc59e6fe8abb701df8fc97d56a6e60258318a4 (diff) | |
| download | patches-0d2753ccc138877aea367512c8e6e3babb0ed474.tar patches-0d2753ccc138877aea367512c8e6e3babb0ed474.tar.gz | |
gnu: agda: Use HTTPS home page.
* gnu/packages/agda.scm (agda)[home-page]: Use HTTPS.
| -rw-r--r-- | gnu/packages/agda.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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 |