NixOS/nixpkgs — pull request #1153 by pSub (2013-10-30 21:02:53+00:00)
Title: Updated Agda to 2.3.2.2.

This update also fixes the build errors on hydra that were caused by
an incompatible version of haskell-src-ext.