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

1 Commits (3d77ecfed4aab76fbd1a4b6718e44f42f482a70b)

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