From a33ec64d8cdd86fa1d3f63599d0653f5620f32e6 Mon Sep 17 00:00:00 2001
From: Orestis Melkonian <melkon.or@gmail.com>
Date: Fri, 6 Oct 2023 17:24:13 +0100
Subject: [PATCH] Cabal: bump agda2hs-mode to Agda-2.6.4 as well

---
 agda2hs.cabal | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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