2 Commits

Author	SHA1	Message	Date
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