NixOS/nixpkgs — pull request #2475 by jwiegley (2014-05-03 00:18:43+00:00)
Title: Bump Agda version to 2.3.2.2

I'm pretty sure the version number is just wrong in this expression.