From ae482ce12d19f7d8d58677a8c56c9581fa1c50fc Mon Sep 17 00:00:00 2001
From: David Craven <david@craven.ch>
Date: Tue, 3 Jan 2017 21:23:36 +0100
Subject: 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.
---
 gnu/local.mk | 1 +
 1 file changed, 1 insertion(+)

(limited to 'gnu/local.mk')

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	\
-- 
cgit v1.2.3