3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development/libraries/haskell/Agda
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