Peter Simons 6054beaee7 haskell-Agda: patched to support modern versions of mtl ... Committed on behalf of Karn Kallio. svn path=/nixpkgs/trunk/; revision=34454		2012-06-11 10:40:10 +00:00
..
default.nix	haskell-Agda: patched to support modern versions of mtl	2012-06-11 10:40:10 +00:00