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

1 Commits (9c2427abe7ffb23813802501941bea6b01c81dd3)

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