5 commits

Author	SHA1	Message	Date
Mateusz Kowalczyk	b1e388cefb	agda-stdlib: update to 0.8.1 ... This is necessary after the Agda-2.4.2 bump	2014-08-31 19:26:05 +01:00
Peter Simons	84cf3f3de7	Agda: drop obsolete version 2.3.2.2	2014-07-31 13:58:36 +02:00
John Wiegley	61e8fe50c2	Agda: add 2.4.0.1, 2.3.2.2 is still the default for now	2014-06-16 14:03:17 -07:00
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

Renamed from pkgs/development/compilers/agda/agda-stdlib.nix (Browse further)