Index: b/Agda.cabal
===================================================================
--- a/Agda.cabal
+++ b/Agda.cabal
@@ -1,5 +1,6 @@
 name:            Agda
 version:         2.6.3
+x-revision:      5
 cabal-version:   1.24
 build-type:      Custom
 license:         OtherLicense
@@ -34,15 +35,18 @@ description:
   policy, because it is not intended to be used by third-party
   packages.
 
-tested-with:        GHC == 8.0.2
-                    GHC == 8.2.2
-                    GHC == 8.4.4
-                    GHC == 8.6.5
-                    GHC == 8.8.4
-                    GHC == 8.10.7
-                    GHC == 9.0.2
-                    GHC == 9.2.5
-                    GHC == 9.4.4
+tested-with:
+  GHC == 9.8.1
+  GHC == 9.6.3
+  GHC == 9.4.7
+  GHC == 9.2.8
+  GHC == 9.0.2
+  GHC == 8.10.7
+  GHC == 8.8.4
+  GHC == 8.6.5
+  GHC == 8.4.4
+  GHC == 8.2.2
+  GHC == 8.0.2
 
 extra-source-files: CHANGELOG.md
                     README.md
@@ -171,8 +175,8 @@ flag optimise-heavily
     Enable some expensive optimisations when compiling Agda.
 
 custom-setup
-  setup-depends:  base >= 4.9.0.0 && < 4.18
-                , Cabal >= 1.24.0.0 && < 3.9
+  setup-depends:  base >= 4.9.0.0 && < 4.20
+                , Cabal >= 1.24.0.0 && < 3.12
                 , directory >= 1.2.6.2 && < 1.4
                 , filepath >= 1.4.1.0 && < 1.5
                 , process >= 1.4.2.0 && < 1.7
@@ -195,7 +199,7 @@ library
     build-depends:  text-icu >= 0.7.1.0
 
   if os(windows)
-    build-depends:  Win32 >= 2.3.1.1 && < 2.13
+    build-depends:  Win32 >= 2.3.1.1 && < 2.14
 
   -- Agda cannot be built with GHC 8.6.1 due to a compiler bug, see
   -- Agda Issue #3344.
@@ -207,19 +211,19 @@ library
   if os(windows) && impl(ghc == 8.6.3)
     buildable: False
 
-  build-depends:  aeson >= 1.1.2.0 && < 2.2
+  build-depends:  aeson >= 1.1.2.0 && < 2.3
                 , array >= 0.5.1.1 && < 0.6
                 , async >= 2.2 && < 2.3
-                , base >= 4.9.0.0 && < 4.18
+                , base >= 4.9.0.0 && < 4.20
                 , binary >= 0.8.3.0 && < 0.9
                 , blaze-html >= 0.8 && < 0.10
                 , boxes >= 0.1.3 && < 0.2
-                , bytestring >= 0.10.8.1 && < 0.12
+                , bytestring >= 0.10.8.1 && < 0.13
                 , case-insensitive >= 1.2.0.4 && < 1.3
                 -- containers-0.5.11.0 is the first to contain IntSet.intersection
-                , containers >= 0.5.11.0 && < 0.7
+                , containers >= 0.5.11.0 && < 0.8
                 , data-hash >= 0.2.0.0 && < 0.3
-                , deepseq >= 1.4.2.0 && < 1.5
+                , deepseq >= 1.4.2.0 && < 1.6
                 , directory >= 1.2.6.2 && < 1.4
                 , dlist >= 0.8 && < 1.1
                 , edit-distance >= 0.2.1.2 && < 0.3
@@ -243,11 +247,11 @@ library
                 , pretty >= 1.1.3.3 && < 1.2
                 , process >= 1.4.2.0 && < 1.7
                 , regex-tdfa >= 1.3.1.0 && < 1.4
-                , split >= 0.2.0.0 && < 0.2.4
+                , split >= 0.2.0.0 && < 0.3
                 , stm >= 2.4.4 && < 2.6
                 , STMonadTrans >= 0.4.3 && < 0.5
-                , strict >= 0.4.0.1 && < 0.5
-                , text >= 1.2.3.0 && < 2.1
+                , strict >= 0.4.0.1 && < 0.6
+                , text >= 1.2.3.0 && < 2.2
                 , time >= 1.6.0.1 && < 1.13
                 , time-compat >= 1.9.2 && < 1.10
                     -- time-compat adds needed functionality missing in time < 1.9
@@ -830,7 +834,7 @@ executable agda-mode
   hs-source-dirs:   src/agda-mode
   main-is:          Main.hs
   other-modules:    Paths_Agda
-  build-depends:    base >= 4.9.0.0 && < 4.18
+  build-depends:    base >= 4.9.0.0 && < 4.20
                   , directory >= 1.2.6.2 && < 1.4
                   , filepath >= 1.4.1.0 && < 1.5
                   , process >= 1.4.2.0 && < 1.7
