diff options
author | David Craven <david@craven.ch> | 2017-01-03 21:23:36 +0100 |
---|---|---|
committer | David Craven <david@craven.ch> | 2017-01-04 11:51:36 +0100 |
commit | ae482ce12d19f7d8d58677a8c56c9581fa1c50fc (patch) | |
tree | 8c1dd3078f967fee154f7b12f1f58a9e7350d03e /srfi | |
parent | c7a7129c5a3c02bd000be73ea7c7c26189c370b7 (diff) | |
download | guix-patches-ae482ce12d19f7d8d58677a8c56c9581fa1c50fc.tar guix-patches-ae482ce12d19f7d8d58677a8c56c9581fa1c50fc.tar.gz |
gnu: idris: Move to (gnu packages idris).
* gnu/packages/haskell.scm: Move 'idris' to...
* gnu/packages/idris.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add idris.scm.
Diffstat (limited to 'srfi')
0 files changed, 0 insertions, 0 deletions