Cabal: bump agda2hs-mode to Agda-2.6.4 as well

agda · Oct 6, 2023 · a33ec64 · a33ec64
1 parent 32413bc
commit a33ec64
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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
+  ghc-options:         -Werror