nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-25 22:33:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
44,611 Commits 202 Branches 125 Tags 6.7 GiB
7b1b46b96b
Commit Graph

3 Commits

Author SHA1 Message Date
John Wiegley
854b1fb9fb Build AgdaStdlib before installing it 2014-05-05 19:51:05 -05:00
Peter Simons
c2fd001fd4 Remove obsolete Agda-executable package; the compiler is not part of 'Agda'. 2014-05-04 12:17:35 +02:00
Peter Simons
64d662e056 Agda: move compiler and standard library into a common directory 
Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.
 2014-05-03 12:37:17 +02:00