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 /etc | |
| parent | c7a7129c5a3c02bd000be73ea7c7c26189c370b7 (diff) | |
| download | patches-ae482ce12d19f7d8d58677a8c56c9581fa1c50fc.tar 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 'etc')
0 files changed, 0 insertions, 0 deletions