--- a/Agda.cabal
+++ b/Agda.cabal
@@ -125,7 +125,7 @@
     -- Edison versioning scheme: http://rwd.rdockins.name/edison/home/.
     -- EdisonAPI isn't used by Agda, but EdisonCore 1.3.1 doesn't
     -- declare what version of EdisonAPI it depends on.
-    , EdisonAPI == 1.3
+    , EdisonAPI >= 1.3 && < 1.4
     , EdisonCore >= 1.3.1.1 && < 1.3.2
     , edit-distance >= 0.2.1.2 && < 0.3
     , equivalence >= 0.2.5 && < 0.4
