I&#39;ve just uploaded Agda-2.3.0.1 to Hackage. It is the same as Agda-2.3.0<div>but compatible with ghc-7.4.1.</div><div><br></div><div>/ Ulf</div>