diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-18 23:03:13 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-03-09 16:01:18 +0100 |
| commit | 17dea2e2798574d8bae4fc27a74cd694c6f9155c (patch) | |
| tree | fcb6fb03de5f1e9284e8321ac1fbeb98cbba582f /gnu/installer.scm | |
| parent | 8a34536f00ad95db494e8efc42027004f94f47df (diff) | |
| download | guix-17dea2e2798574d8bae4fc27a74cd694c6f9155c.tar.gz | |
gnu: idris: Use HTTPS home page.
* gnu/packages/idris.scm (idris)[home-page]: Use HTTPS.
Diffstat (limited to 'gnu/installer.scm')
0 files changed, 0 insertions, 0 deletions