Support botan-3.10.0

Author: jorisdral

.github/workflows/ci.yml

@@ -35,7 +35,7 @@ jobs:
       #
       # * Build and test with all combinations of OS/GHC/Cabal, but with a fixed
       #   Botan version, preferably the latest version which is currently
-      #   Botan-3.9.0.
+      #   Botan-3.10.0.
       #
       # * Build and test with all Botan versions, but with a fixed OS/GHC/Cabal
       #   combination, preferably Linux/GHC-9.6/Cabal-3.16
@@ -58,7 +58,7 @@ jobs:
           - { os: macos-latest, shell: bash }
         ghc-version: ["9.2", "9.4", "9.6", "9.8", "9.10", "9.12"]
         cabal-version: ["3.16"]
-        botan-version: ["3.9.0"]
+        botan-version: ["3.10.0"]
         include:
         - sys: { os: ubuntu-latest, shell: bash }
           ghc-version: "9.6"
@@ -112,6 +112,10 @@ jobs:
           ghc-version: "9.6"
           cabal-version: "3.16"
           botan-version: "3.8.1"
+        - sys: { os: ubuntu-latest, shell: bash }
+          ghc-version: "9.6"
+          cabal-version: "3.16"
+          botan-version: "3.9.0"
 
     steps:
     - name: 📥 Checkout repository

.github/workflows/documentation.yml

@@ -54,7 +54,7 @@ jobs:
       # wrong with the setup-botan action. Maybe it's compiling too many things?
       timeout-minutes: 30
       with:
-        botan-version: 3.9.0
+        botan-version: 3.10.0
 
     - name: 🛠️ Configure
       run: |

botan-bindings/KnownVersions.cfg

@@ -1,4 +1,5 @@
-[ Version 3 9 0
+[ Version 3 10 0
+, Version 3 9 0
 , Version 3 8 1
 , Version 3 8 0
 , Version 3 7 1

botan-bindings/src-generated/Botan/Bindings/Generated.hs

@@ -8,7 +8,9 @@ module Botan.Bindings.Generated (
 
 #ifdef MIN_BOTAN_VERSION_BINDINGS
 
-#if MIN_BOTAN_VERSION_BINDINGS(3,9,0)
+#if MIN_BOTAN_VERSION_BINDINGS(3,10,0)
+import           Botan.Bindings.Generated.Botan_3_10_0 as Reexports
+#elif MIN_BOTAN_VERSION_BINDINGS(3,9,0)
 import           Botan.Bindings.Generated.Botan_3_9_0 as Reexports
 #elif MIN_BOTAN_VERSION_BINDINGS(3,8,1)
 import           Botan.Bindings.Generated.Botan_3_8_1 as Reexports