I've just uploaded Agda-2.3.0.1 to Hackage. It is the same as Agda-2.3.0 but compatible with ghc-7.4.1. / Ulf -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.chalmers.se/pipermail/agda/attachments/20120312/fe8b44dc/attachment.html