me
/
guix
Archived
1
0
Fork 0
Code
33,702 Commits
1 Branch
0 Tags
410 MiB
Commit Graph

1 Commits (4bc1528aa5e280d52ca800a233f57ffd974513b2)

Author SHA1 Message Date
Alex ter Weele f61682e7ea
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>
 2018-02-26 01:42:35 +01:00