Update dependencies to allow building with GHC 9.12

Author: jespercockx

agda2hs.cabal

@@ -53,17 +53,17 @@ executable agda2hs
                        AgdaInternals,
                        Paths_agda2hs
   autogen-modules:     Paths_agda2hs
-  build-depends:       base                 >= 4.13    && < 4.21,
+  build-depends:       base                 >= 4.13    && < 4.22,
                        Agda                 >= 2.8.0   && < 2.9.0,
                        bytestring           >= 0.11.5  && < 0.13,
-                       containers           >= 0.6     && < 0.8,
+                       containers           >= 0.6     && < 0.9,
                        unordered-containers >= 0.2.19  && < 0.3,
                        mtl                 (>= 2.2     && < 2.3)
                                         || (>= 2.3.1   && < 2.4),
                        transformers         >= 0.6     && < 0.7,
                        monad-control        >= 1.0     && < 1.1,
                        directory            >= 1.2.6.2 && < 1.4,
-                       filepath             >= 1.4.1.0 && < 1.5,
+                       filepath             >= 1.4.1.0 && < 1.6,
                        haskell-src-exts     >= 1.23    && < 1.25,
                        syb                  >= 0.7.2   && < 0.8,
                        text                 >= 2.0.2   && < 2.2,

lib/containers/containers-prop.cabal

@@ -39,7 +39,7 @@ library
   import:          language, opts-lib
   hs-source-dirs:  haskell
   build-depends:
-    , base        >=4.13 && <4.21
+    , base        >=4.13 && <4.22
     , containers  >=0.6  && <0.9
 
   exposed-modules: