public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
43,498 Commits 1 Branch 0 Tags
c2e628585ce0f3749b5d2494de761bdfa80ea3ce
Commit Graph
1 Commits
Author SHA1 Message Date
Peter Simons c2fd001fd4 Remove obsolete Agda-executable package; the compiler is not part of 'Agda'. 2014-05-04 12:17:35 +02:00