diff options
| author | Leo Famulari <leo@famulari.name> | 2018-10-07 20:49:14 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2018-10-07 20:49:14 -0400 |
| commit | e8bd1946ec1df9f52f87292172af5b4e4a4e0023 (patch) | |
| tree | e3209b814be53b0c21f29438a491c2aedcc2d1c5 /gnu/packages/idris.scm | |
| parent | cf6db76d2af2f287f12928df160447ab4165b3e5 (diff) | |
| parent | a18accba468beecf0200383f56d02894caf6f41a (diff) | |
| download | guix-e8bd1946ec1df9f52f87292172af5b4e4a4e0023.tar guix-e8bd1946ec1df9f52f87292172af5b4e4a4e0023.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions