aboutsummaryrefslogtreecommitdiff
path: root/gnu/local.mk
diff options
context:
space:
mode:
authorAlex ter Weele <alex.ter.weele@gmail.com>2018-02-20 18:55:06 -0600
committerMarius Bakke <mbakke@fastmail.com>2018-02-26 01:42:35 +0100
commitf61682e7ea87db3eed7e67adacd1d3f8c1b7c119 (patch)
treeca58755c5639f7d86ebadf5c76bb1ed97218e31f /gnu/local.mk
parent7df5669f3903b58cd5587ee8660dd12a18756bd0 (diff)
downloadguix-f61682e7ea87db3eed7e67adacd1d3f8c1b7c119.tar
guix-f61682e7ea87db3eed7e67adacd1d3f8c1b7c119.tar.gz
gnu: Add agda.
* gnu/packages/agda.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add adga.scm. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
Diffstat (limited to 'gnu/local.mk')
-rw-r--r--gnu/local.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk
index 2f8f7b7e3a..8acb3cea47 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -52,6 +52,7 @@ GNU_SYSTEM_MODULES = \
%D%/packages/acl.scm \
%D%/packages/admin.scm \
%D%/packages/adns.scm \
+ %D%/packages/agda.scm \
%D%/packages/algebra.scm \
%D%/packages/aidc.scm \
%D%/packages/android.scm \