Files
nixpkgs/pkgs/development/haskell-modules
Mateusz Kowalczyk 0ef6e215ff Agda: package builds fine these days
Tested with 8.0.2 and 8.2.1.
2017-10-13 15:35:27 +01:00
..
2017-09-19 15:55:50 +02:00