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