9 Commits

Author	SHA1	Message	Date
Peter Simons	84cf3f3de7	Agda: drop obsolete version 2.3.2.2	2014-07-31 13:58:36 +02:00
Peter Simons	689b322e10	Agda: update to version 2.4.0.2	2014-07-31 13:57:45 +02:00
John Wiegley	324eb38313	haskell-agda-stdlib: properly reference ghc and runhaskell	2014-07-12 04:43:31 -05:00
Mathijs Kwik	9ceeb77bd3	agda-stdlib: no need to jailbreak anymore	2014-06-19 13:38:54 +02:00
Mathijs Kwik	3fd519822f	agda-stdlib: upgrade to 0.8 (they keep changing the version scheme) ... Conflicts: pkgs/development/compilers/agda/stdlib-0.8.nix pkgs/top-level/haskell-packages.nix	2014-06-17 08:25:44 +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
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