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

1 Commits (8b0f6917b31abc20371f84bff4648dc9b9620040)

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