Apply version bounds updates properly

patches/Agda-2.6.3.patch

 diff --git a/Agda.cabal b/Agda.cabal
-index 306f81f..0082221 100644
+index 306f81f..4cc109f 100644
 --- a/Agda.cabal
 +++ b/Agda.cabal
 @@ -1,8 +1,8 @@
-+cabal-version:   3.12
++cabal-version:   3.14
  name:            Agda
  version:         2.6.3
 -cabal-version:   1.24
@@ -19,7 +19,7 @@ index 306f81f..0082221 100644
  custom-setup
    setup-depends:  base >= 4.9.0.0 && < 4.18
 -                , Cabal >= 1.24.0.0 && < 3.9
-+                , Cabal >= 1.24.0.0 && < 3.12
++                , Cabal >= 1.24.0.0 && < 3.14
 +                , Cabal-hooks
                  , directory >= 1.2.6.2 && < 1.4
                  , filepath >= 1.4.1.0 && < 1.5

patches/configuration-tools-0.7.0.patch

@@ -220,12 +220,12 @@ index 2088620..19796da 100644
  -- -------------------------------------------------------------------------- --
  -- Generate PkgInfo Module
 diff --git a/configuration-tools.cabal b/configuration-tools.cabal
-index 78c7e02..d5180f0 100644
+index 78c7e02..739a406 100644
 --- a/configuration-tools.cabal
 +++ b/configuration-tools.cabal
 @@ -1,4 +1,4 @@
 -cabal-version: 3.0
-+cabal-version: 3.12
++cabal-version: 3.14
  
  name: configuration-tools
  version: 0.7.0

patches/darcs-2.16.5.patch

@@ -171,12 +171,12 @@ index 79a7500..4255a31 100644
      else return Nothing
 +
 diff --git a/darcs.cabal b/darcs.cabal
-index 72ea398..57862d8 100644
+index 72ea398..afe755d 100644
 --- a/darcs.cabal
 +++ b/darcs.cabal
 @@ -1,4 +1,4 @@
 -Cabal-Version:  2.4
-+Cabal-Version: 3.12
++Cabal-Version: 3.14
  Name:           darcs
  version:        2.16.5
  License:        GPL-2.0-or-later

patches/entropy-0.4.1.10.patch

@@ -180,11 +180,11 @@ index 4ddeeae..fd8b1a5 100644
 -      | otherwise = return ()
 -#endif
 diff --git a/entropy.cabal b/entropy.cabal
-index cddaece..9c1f2ee 100644
+index cddaece..7127c63 100644
 --- a/entropy.cabal
 +++ b/entropy.cabal
 @@ -1,3 +1,4 @@
-+cabal-version:  3.12
++cabal-version:  3.14
  name:           entropy
  
  version:        0.4.1.10

patches/executable-hash-0.2.0.4.patch

@@ -68,11 +68,11 @@ index 0000000..e0e53a8
 +        }
 +    }
 diff --git a/executable-hash.cabal b/executable-hash.cabal
-index 3c9fb9f..96b543d 100644
+index 3c9fb9f..a47b3e5 100644
 --- a/executable-hash.cabal
 +++ b/executable-hash.cabal
 @@ -1,3 +1,4 @@
-+cabal-version:       3.12
++cabal-version:       3.14
  name:                executable-hash
  version:             0.2.0.4
  synopsis:            Provides the SHA1 hash of the program executable

patches/ghc-paths-0.1.0.12.patch

@@ -232,11 +232,11 @@ index 0000000..f783b22
 +        , "docdir = " ++ show docdir
 +        ]
 diff --git a/ghc-paths.cabal b/ghc-paths.cabal
-index 6505ade..f69864b 100644
+index 6505ade..494043b 100644
 --- a/ghc-paths.cabal
 +++ b/ghc-paths.cabal
 @@ -1,6 +1,7 @@
-+cabal-version: 3.12
++cabal-version: 3.14
  name: ghc-paths
  version: 0.1.0.12
 -license: BSD3

patches/hlibgit2-0.18.0.16.patch

@@ -41,11 +41,11 @@ index 0000000..42fea4a
 +    }
 +
 diff --git a/hlibgit2.cabal b/hlibgit2.cabal
-index 3116284..ac0b582 100644
+index 3116284..0657928 100644
 --- a/hlibgit2.cabal
 +++ b/hlibgit2.cabal
 @@ -1,3 +1,4 @@
-+Cabal-Version:       3.12
++Cabal-Version:       3.14
  Name:                hlibgit2
  Version:             0.18.0.16
  Synopsis:            Low-level bindings to libgit2

patches/mysql-0.2.1.patch

@@ -93,11 +93,11 @@ index 343aa6b..609d6fe 100644
    where
      -- Recover from an error by returning an empty list.
 diff --git a/mysql.cabal b/mysql.cabal
-index 3f13294..ea0e142 100644
+index 3f13294..237e29a 100644
 --- a/mysql.cabal
 +++ b/mysql.cabal
 @@ -1,3 +1,4 @@
-+cabal-version:  3.12
++cabal-version:  3.14
  name:           mysql
  version:        0.2.1
  homepage:       https://github.com/paul-rouse/mysql

patches/nix-paths-1.0.1.patch

@@ -108,11 +108,11 @@ index 0000000..adf47f3
 +    mangle '-' = '_'
 +    mangle c = toUpper c
 diff --git a/nix-paths.cabal b/nix-paths.cabal
-index 367821d..02c77c8 100644
+index 367821d..50f8a26 100644
 --- a/nix-paths.cabal
 +++ b/nix-paths.cabal
 @@ -1,3 +1,4 @@
-+cabal-version:          3.12
++cabal-version:          3.14
  name:                   nix-paths
  version:                1.0.1
  synopsis:               Knowledge of Nix's installation directories.

patches/postgresql-libpq-0.10.0.0.patch

@@ -133,12 +133,12 @@ index 0000000..e029f96
 +    verbosity = normal -- honestly, this is a hack
 +    strip x = dropWhile isSpace $ reverse $ dropWhile isSpace $ reverse x
 diff --git a/postgresql-libpq.cabal b/postgresql-libpq.cabal
-index 29544dd..2ce091a 100644
+index 29544dd..d4aee41 100644
 --- a/postgresql-libpq.cabal
 +++ b/postgresql-libpq.cabal
 @@ -1,4 +1,4 @@
 -cabal-version:      2.4
-+cabal-version:      3.12
++cabal-version:      3.14
  name:               postgresql-libpq
  version:            0.10.0.0
  synopsis:           low-level binding to libpq

patches/singletons-base-3.2.patch

@@ -257,11 +257,11 @@ index 0000000..fe3a84a
 +testSuiteName :: String
 +testSuiteName = "singletons-base-test-suite"
 diff --git a/singletons-base.cabal b/singletons-base.cabal
-index 18c562c..a88dca5 100644
+index 18c562c..5c904e6 100644
 --- a/singletons-base.cabal
 +++ b/singletons-base.cabal
 @@ -1,6 +1,6 @@
-+cabal-version:  3.12
++cabal-version:  3.14
  name:           singletons-base
  version:        3.2
 -cabal-version:  1.24
@@ -293,7 +293,7 @@ index 18c562c..a88dca5 100644
 -    base      >= 4.18 && < 4.19,
 -    Cabal     >= 3.0 && < 3.11,
 +    base      >= 4.18 && < 4.20,
-+    Cabal     >= 3.0 && < 3.12,
++    Cabal     >= 3.0 && < 3.15,
 +    Cabal-hooks,
      directory >= 1,
      filepath  >= 1.3

patches/stack-2.13.1.patch

@@ -369,7 +369,7 @@ index e4b8473..6f23a7d 100644
    fileChecks <-
      liftIO $ Check.checkPackageFiles minBound pkgDesc (toFilePath pkgDir)
 diff --git a/stack.cabal b/stack.cabal
-index fecb7c5..0d5b891 100644
+index fecb7c5..9d464a6 100644
 --- a/stack.cabal
 +++ b/stack.cabal
 @@ -1,7 +1,7 @@
@@ -391,10 +391,12 @@ index fecb7c5..0d5b891 100644
  extra-source-files:
      CONTRIBUTING.md
      ChangeLog.md
-@@ -108,6 +108,7 @@ source-repository head
+@@ -107,7 +107,8 @@ source-repository head
+ 
  custom-setup
      setup-depends:
-         Cabal >=3.8.1.0 && <3.12,
+-        Cabal >=3.8.1.0 && <3.12,
++        Cabal >=3.8.1.0 && <3.15,
 +        Cabal-hooks,
          base >=4.14.3.0 && <5,
          filepath >=1.4.2.2