diff --git a/agda2hs.cabal b/agda2hs.cabal
index 8732c575..1d0cf869 100644
--- a/agda2hs.cabal
+++ b/agda2hs.cabal
@@ -85,7 +85,7 @@ executable agda2hs-mode
   main-is:             Main.hs
   other-modules:       Paths_agda2hs
   build-depends:       base >= 4.10 && < 4.18,
-                       Agda >= 2.6.3 && < 2.6.4,
+                       Agda >= 2.6.4 && < 2.6.5,
                        bytestring >= 0.11,
                        containers >= 0.6 && < 0.7,
                        unordered-containers >= 0.2,
@@ -105,4 +105,4 @@ executable agda2hs-mode
                        MultiWayIf,
                        TupleSections,
                        ScopedTypeVariables
-  ghc-options:         -Werror
\ No newline at end of file
+  ghc-options:         -Werror