Archived
1
0
Fork 0

gnu: idris: Use HTTPS home page.

* gnu/packages/idris.scm (idris)[home-page]: Use HTTPS.
This commit is contained in:
Tobias Geerinckx-Rice 2020-01-18 23:03:13 +01:00
parent 8a34536f00
commit 17dea2e279
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -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