NixOS/nixpkgs — pull request #2981 by bluescreen303 (2014-06-16 21:04:13+00:00)
Title: Agda: upgrade to 2.4.0

I did not test this on master as I keep al my boxes on 14.04. I did eyeball the haskell changes on master and adjusted my commits accordingly, so I think it should be fine.

Cabal2nix's postInstall hook will receive its own pull request.