diff options
| author | Alex ter Weele <alex.ter.weele@gmail.com> | 2018-02-20 18:55:06 -0600 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-02-26 01:42:35 +0100 |
| commit | f61682e7ea87db3eed7e67adacd1d3f8c1b7c119 (patch) | |
| tree | ca58755c5639f7d86ebadf5c76bb1ed97218e31f /gnu/local.mk | |
| parent | 7df5669f3903b58cd5587ee8660dd12a18756bd0 (diff) | |
| download | patches-f61682e7ea87db3eed7e67adacd1d3f8c1b7c119.tar patches-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.mk | 1 |
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 \ |