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/packages/linux.scm | |
| 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/packages/linux.scm')
0 files changed, 0 insertions, 0 deletions