--- Agda.cabal.orig 2015-05-25 16:22:38 UTC +++ Agda.cabal @@ -85,12 +85,12 @@ library -- even though it builds with older GHCs. , bytestring >= 0.9.2.1 && < 0.11 , containers >= 0.4.2.1 && < 0.6 - , data-hash == 0.2.0.0 + , data-hash == 0.2.0.* , deepseq >= 1.3.0.0 && < 1.5 , edit-distance >= 0.2.1.2 && < 0.3 , equivalence >= 0.2.5 && < 0.4 , filepath >= 1.3.0.0 && < 1.5 - , geniplate-mirror >= 0.6.0.6 && < 0.7 + , geniplate-mirror >= 0.6.0.6 && < 0.8 -- hashable 1.2.0.10 makes library-test 10x slower. The issue was -- fixed in hashable 1.2.1.0. -- https://github.com/tibbe/hashable/issues/57.