[Nix-dev] Agda build

[Karn Kallio]

After looking around in cabal2nix I think the attached patch might get Agda to 
build (with the latest mtl)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Agda-in-cabal2nix.patch
Type: text/x-patch
Size: 1148 bytes
Desc: not available
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20120610/18d26bb6/attachment.bin