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 /gnu/local.mk | |
| 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 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index f45030f840..61e0fca3ba 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -183,6 +183,7 @@ GNU_SYSTEM_MODULES = \ %D%/packages/hurd.scm \ %D%/packages/ibus.scm \ %D%/packages/icu4c.scm \ + %D%/packages/idris.scm \ %D%/packages/idutils.scm \ %D%/packages/image.scm \ %D%/packages/image-viewers.scm \ |