diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 338b6bf..64855ab 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -7,8 +7,8 @@ on:
 
 
 jobs:
-  gnat_gprbuild:
-    name: GNAT Linux and GPRbuild
+  gnat:
+    name: GNAT Linux
     runs-on: ubuntu-20.04
     steps:
     - name: Checkout Project
@@ -38,14 +38,6 @@ jobs:
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
 
-    - name: Build GPRbuild
-      run: ./anod build gprbuild -v --loglevel DEBUG --enable-cleanup
-
-    - name: Package GPRbuild
-      run: ./anod build release_package --qualifier=package=gprbuild,do_gh_release -v --loglevel DEBUG
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
-
     - uses: actions/upload-artifact@v2
       with:
         name: anod-artifacts
@@ -60,19 +52,13 @@ jobs:
 
 
 
-  gnatcov:
-    name: GNATcov
-    needs: gnat_gprbuild
+  gprbuild_gnatcov:
+    name: GPRbuild and GNATcov
     runs-on: ubuntu-20.04
     steps:
     - name: Checkout Project
       uses: actions/checkout@v2
 
-    - uses: actions/download-artifact@v2
-      with:
-        name: anod-artifacts
-        path: in_artifacts/
-
     - name: Set up Python
       uses: actions/setup-python@v2
       with:
@@ -83,6 +69,14 @@ jobs:
         python -m pip install --upgrade pip
         pip install e3-core==22.1.0
 
+    - name: Build GPRbuild
+      run: ./anod build gprbuild -v --loglevel DEBUG --enable-cleanup
+
+    - name: Package GPRbuild
+      run: ./anod build release_package --qualifier=package=gprbuild,do_gh_release -v --loglevel DEBUG
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
+
     - name: Build GNATcov
       run: ./anod build gnatcov -v --loglevel DEBUG --enable-cleanup
 
@@ -104,7 +98,7 @@ jobs:
       matrix:
         target: ["arm-elf", "riscv64-elf", "avr-elf"]
     name: GNAT ${{ matrix.target }}-linux
-    needs: gnat_gprbuild
+    needs: gnat
     runs-on: ubuntu-20.04
     steps:
     - name: Checkout Project
@@ -155,7 +149,7 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: 'adacore/why3'
-          ref: 'fsf-13'
+          ref: 'fsf-14'
 
       - name: Use Setup OCaml {{ matrix.ocaml-version }}
         uses: ocaml/setup-ocaml@v2
@@ -193,7 +187,7 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: 'adacore/alt-ergo'
-          ref: 'master'
+          ref: 'fsf-14'
 
       - name: Use Setup OCaml {{ matrix.ocaml-version }}
         uses: ocaml/setup-ocaml@v2
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
index bc14613..259a4c4 100644
--- a/.github/workflows/macos.yml
+++ b/.github/workflows/macos.yml
@@ -7,8 +7,8 @@ on:
 
 
 jobs:
-  gnat_gprbuild:
-    name: GNAT macOS and GPRbuild
+  gnat:
+    name: GNAT macOS
     runs-on: macos-12
     steps:
     - name: Checkout Project
@@ -35,14 +35,6 @@ jobs:
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
 
-    - name: Build GPRbuild
-      run: ./anod build gprbuild -v --loglevel DEBUG --enable-cleanup
-
-    - name: Package GPRbuild
-      run: ./anod build release_package --qualifier=package=gprbuild,do_gh_release -v --loglevel DEBUG
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
-
     - uses: actions/upload-artifact@v2
       with:
         name: anod-artifacts
@@ -56,20 +48,13 @@ jobs:
         retention-days: 5
 
 
-
-  gnatcov:
-    name: GNATcov
-    needs: gnat_gprbuild
+  gprbuild_gnatcov:
+    name: GPRbuild and GNATcov
     runs-on: macos-12
     steps:
     - name: Checkout Project
       uses: actions/checkout@v2
 
-    - uses: actions/download-artifact@v2
-      with:
-        name: anod-artifacts
-        path: in_artifacts/
-
     - name: Set up Python
       uses: actions/setup-python@v2
       with:
@@ -80,6 +65,15 @@ jobs:
         python -m pip install --upgrade pip
         pip install e3-core==22.1.0
 
+    - name: Build GPRbuild
+      run: ./anod build gprbuild -v --loglevel DEBUG --enable-cleanup
+
+    - name: Package GPRbuild
+      run: ./anod build release_package --qualifier=package=gprbuild,do_gh_release -v --loglevel DEBUG
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
+
+
     - name: Build GNATcov
       run: ./anod build gnatcov -v --loglevel DEBUG --enable-cleanup
 
@@ -101,7 +95,7 @@ jobs:
       matrix:
         target: ["arm-elf", "riscv64-elf", "avr-elf"]
     name: GNAT ${{ matrix.target }}-darwin
-    needs: gnat_gprbuild
+    needs: gnat
     runs-on: macos-12
     steps:
     - name: Checkout Project
@@ -151,7 +145,7 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: 'adacore/why3'
-          ref: 'fsf-13'
+          ref: 'fsf-14'
 
       - name: Use Setup OCaml {{ matrix.ocaml-version }}
         uses: ocaml/setup-ocaml@v2
@@ -190,7 +184,7 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: 'adacore/alt-ergo'
-          ref: 'master'
+          ref: 'fsf-14'
 
       - name: Use Setup OCaml {{ matrix.ocaml-version }}
         uses: ocaml/setup-ocaml@v2
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index 92de1fb..da0c97b 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -6,8 +6,8 @@ on:
   pull_request:
 
 jobs:
-  gnat_gprbuild:
-    name: GNAT Windows and gprbuild
+  gnat:
+    name: GNAT Windows
     runs-on: windows-2019
     env:
       CONFIG_SHELL: /bin/bash
@@ -49,14 +49,6 @@ jobs:
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
 
-    - name: Build GPRbuild
-      run: mount C:/aaa /aaa && cd /aaa/GNAT-FSF-builds && python3 ./anod build gprbuild -v --loglevel DEBUG --enable-cleanup
-
-    - name: Package GPRbuild
-      run: mount C:/aaa /aaa && cd /aaa/GNAT-FSF-builds && python3 ./anod build release_package --qualifier=package=gprbuild,do_gh_release -v --loglevel DEBUG
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
-
     - uses: actions/upload-artifact@v2
       with:
         name: anod-artifacts
@@ -71,9 +63,8 @@ jobs:
 
 
 
-  gnatcov:
-    name: GNATcov
-    needs: gnat_gprbuild
+  gprbuild_gnatcov:
+    name: GPRbuild and GNATcov
     runs-on: windows-2019
     env:
       CONFIG_SHELL: /bin/bash
@@ -104,10 +95,14 @@ jobs:
       # We need a path that is compatible between Windows and Unix world
       run: df -h; mkdir /c/aaa; mount C:/aaa /aaa ; cd ..; cp -r GNAT-FSF-builds /c/aaa
 
-    - uses: actions/download-artifact@v2
-      with:
-        name: anod-artifacts
-        path: C:/aaa/GNAT-FSF-builds/in_artifacts/
+
+    - name: Build GPRbuild
+      run: mount C:/aaa /aaa && cd /aaa/GNAT-FSF-builds && python3 ./anod build gprbuild -v --loglevel DEBUG --enable-cleanup
+
+    - name: Package GPRbuild
+      run: mount C:/aaa /aaa && cd /aaa/GNAT-FSF-builds && python3 ./anod build release_package --qualifier=package=gprbuild,do_gh_release -v --loglevel DEBUG
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
 
 
     - name: Build GNATcov
@@ -134,7 +129,7 @@ jobs:
       matrix:
         target: ["arm-elf", "riscv64-elf", "avr-elf"]
     name: GNAT ${{ matrix.target }}-windows
-    needs: gnat_gprbuild
+    needs: gnat
     runs-on: windows-2019
     env:
       CONFIG_SHELL: /bin/bash
@@ -200,7 +195,7 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: 'adacore/why3'
-          ref: 'fsf-13'
+          ref: 'fsf-14'
 
       - name: Use Setup OCaml v1 ${{ matrix.ocaml-version }}
         uses: ocaml/setup-ocaml@v2
@@ -238,7 +233,7 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: 'adacore/alt-ergo'
-          ref: 'master'
+          ref: 'fsf-14'
 
       - name: Use Setup OCaml {{ matrix.ocaml-version }}
         uses: ocaml/setup-ocaml@v2
diff --git a/specs/adasat.anod b/specs/adasat.anod
new file mode 100644
index 0000000..4bdecfc
--- /dev/null
+++ b/specs/adasat.anod
@@ -0,0 +1,71 @@
+from e3.anod.spec import Anod
+from e3.anod.loader import spec
+
+import os
+
+
+class AdaSAT(spec("common")):
+    @property
+    def version(self):
+        return "24.0.0"
+
+    @property
+    def tarball(self):
+        return "adasat-%s.tar.gz" % self.version
+
+    @property
+    def source_pkg_build(self):
+        return [
+            self.HTTPSSourceBuilder(
+                name=self.tarball,
+                url="https://github.com/AdaCore/AdaSAT/archive/v%s.tar.gz"
+                % self.version,
+            )
+        ]
+
+    @property
+    def build_source_list(self):
+        return [Anod.Source(name=self.tarball, publish=True, dest="")]
+
+    @property
+    def build_deps(self):
+        return [
+            Anod.Dependency("base_gcc", track=True),
+            Anod.Dependency("gprbuild", track=True),
+        ]
+
+    @Anod.primitive()
+    def build(self):
+        for m in self.deps:
+            self.deps[m].setenv()
+
+        gpr_file = os.path.join(self["SRC_DIR"], "adasat.gpr")
+        build_mode = "prod"
+
+        for library_type in ["static"]:
+            self.shell(
+                "gprbuild",
+                "-p",
+                "-P",
+                gpr_file,
+                "-j" + str(self.jobs),
+                "--relocate-build-tree=" + library_type,
+                "-XADASAT_BUILD_MODE=" + build_mode,
+                "-XADASAT_LIBRARY_TYPE=" + library_type,
+            )
+
+            self.shell(
+                "gprinstall",
+                "-f",
+                "-p",
+                "-P",
+                gpr_file,
+                "--relocate-build-tree=" + library_type,
+                "--prefix=" + self["INSTALL_DIR"],
+                "-XADASAT_BUILD_MODE=" + build_mode,
+                "-XADASAT_LIBRARY_TYPE=" + library_type,
+                "--build-var=LIBRARY_TYPE",
+                "--build-name=" + library_type,
+            )
+
+        self.clean()
diff --git a/specs/base_gcc.anod b/specs/base_gcc.anod
index 27b5938..dde81d5 100644
--- a/specs/base_gcc.anod
+++ b/specs/base_gcc.anod
@@ -8,7 +8,7 @@ from e3.anod.spec import Anod
 class base_gcc(spec("common")):
     @property
     def version(self):
-        return "13.2.0-2"
+        return "14.1.0-2"
 
     @property
     def tarball(self):
diff --git a/specs/binutils.anod b/specs/binutils.anod
index 5f649ff..c74f986 100644
--- a/specs/binutils.anod
+++ b/specs/binutils.anod
@@ -39,16 +39,6 @@ class Binutils(spec("common")):
             Anod.Dependency("isl", target="host"),
         ]
 
-        if self.env.is_canadian:
-            deps.append(
-                Anod.Dependency(
-                    name="gcc",
-                    host="build",
-                    target="host",
-                    local_name="canadian-cross-compiler",
-                )
-            )
-
         return deps
 
     def merge(self, prefix):
diff --git a/specs/gnatcov.anod b/specs/gnatcov.anod
index ae95d7b..aaeb7c0 100644
--- a/specs/gnatcov.anod
+++ b/specs/gnatcov.anod
@@ -40,7 +40,7 @@ class GNATcov(spec("common")):
     @property
     def build_deps(self):
         deps = [
-            Anod.Dependency("gcc", track=True),
+            Anod.Dependency("base_gcc", track=True),
             Anod.Dependency("gprbuild", track=True),
             Anod.Dependency("libgpr", track=True),
             Anod.Dependency("gnatcoll", track=True),
diff --git a/specs/gnatutil.anod b/specs/gnatutil.anod
index dc2ae35..e24f552 100644
--- a/specs/gnatutil.anod
+++ b/specs/gnatutil.anod
@@ -25,7 +25,7 @@ class GNATUTIL(spec("common")):
     @property
     def build_deps(self):
         return [
-            Anod.Dependency("gcc", track=True),
+            Anod.Dependency("base_gcc", track=True),
             Anod.Dependency("gprbuild", track=True),
         ]
 
diff --git a/specs/gprconfig_kb.anod b/specs/gprconfig_kb.anod
index 9380520..16d9a14 100644
--- a/specs/gprconfig_kb.anod
+++ b/specs/gprconfig_kb.anod
@@ -5,7 +5,7 @@ from e3.anod.loader import spec
 class GPRconfig_KB(spec("common")):
     @property
     def version(self):
-        return "23.0.0"
+        return "24.0.0"
 
     @property
     def tarball(self):
diff --git a/specs/langkit.anod b/specs/langkit.anod
index ba70859..9b7a657 100644
--- a/specs/langkit.anod
+++ b/specs/langkit.anod
@@ -30,7 +30,7 @@ class Langkit(spec("common")):
     @property
     def build_deps(self):
         return [
-            Anod.Dependency("gcc", track=True),
+            Anod.Dependency("base_gcc", track=True),
             Anod.Dependency("gprbuild", track=True),
             Anod.Dependency("libgpr", track=True),
             Anod.Dependency("gnatcoll", track=True),
diff --git a/specs/langkit_support.anod b/specs/langkit_support.anod
new file mode 100644
index 0000000..c37b7e0
--- /dev/null
+++ b/specs/langkit_support.anod
@@ -0,0 +1,76 @@
+from e3.anod.spec import Anod
+from e3.anod.loader import spec
+
+import os
+
+
+class LangkikSupport(spec("common")):
+    @property
+    def version(self):
+        return "24.0.0"
+
+    @property
+    def tarball(self):
+        return "langkit_support-%s.tar.gz" % self.version
+
+    @property
+    def source_pkg_build(self):
+        return [
+            self.HTTPSSourceBuilder(
+                name=self.tarball,
+                url="https://github.com/AdaCore/langkit/releases/download/v%s/langkit_support-%s.tar.gz"
+                % (self.version, self.version),
+            )
+        ]
+
+    @property
+    def build_source_list(self):
+        return [Anod.Source(name=self.tarball, publish=True, dest="")]
+
+    @property
+    def build_deps(self):
+        return [
+            Anod.Dependency("base_gcc", track=True),
+            Anod.Dependency("gprbuild", track=True),
+            Anod.Dependency("libgpr", track=True),
+            Anod.Dependency("gnatcoll", track=True),
+            Anod.Dependency("gnatcoll-bindings", track=True),
+            Anod.Dependency("xmlada", track=True),
+            Anod.Dependency("adasat", track=True),
+        ]
+
+    @Anod.primitive()
+    def build(self):
+        for m in self.deps:
+            self.deps[m].setenv()
+
+        gpr_file = os.path.join(self["SRC_DIR"], "langkit_support.gpr")
+        build_mode = "prod"
+
+        for library_type in ["static"]:
+            self.shell(
+                "gprbuild",
+                "-p",
+                "-P",
+                gpr_file,
+                "-j" + str(self.jobs),
+                "--relocate-build-tree=" + library_type,
+                "-XBUILD_MODE=" + build_mode,
+                "-XLIBRARY_TYPE=" + library_type,
+            )
+
+            self.shell(
+                "gprinstall",
+                "-f",
+                "-p",
+                "-P",
+                gpr_file,
+                "--relocate-build-tree=" + library_type,
+                "--prefix=" + self["INSTALL_DIR"],
+                "-XBUILD_MODE=" + build_mode,
+                "-XLIBRARY_TYPE=" + library_type,
+                "--build-var=LIBRARY_TYPE",
+                "--build-name=" + library_type,
+            )
+
+        self.clean()
diff --git a/specs/libadalang.anod b/specs/libadalang.anod
index cd1e5fd..6ba5d67 100644
--- a/specs/libadalang.anod
+++ b/specs/libadalang.anod
@@ -30,7 +30,7 @@ class Langkit(spec("common")):
     @property
     def build_deps(self):
         return [
-            Anod.Dependency("gcc", track=True),
+            Anod.Dependency("base_gcc", track=True),
             Anod.Dependency("gprbuild", track=True),
             Anod.Dependency("libgpr", track=True),
             Anod.Dependency("gnatcoll", track=True),
diff --git a/specs/libgpr2.anod b/specs/libgpr2.anod
new file mode 100644
index 0000000..f50a061
--- /dev/null
+++ b/specs/libgpr2.anod
@@ -0,0 +1,109 @@
+from e3.os.fs import touch
+from e3.anod.helper import Make
+from e3.anod.spec import Anod
+from e3.anod.loader import spec
+from e3.fs import cp, sync_tree
+from e3.diff import patch
+import os
+
+class LibGPR2(spec("common")):
+
+    @property
+    def is_next(self):
+        return 'next' in self.parsed_qualifier
+
+    @property
+    def version(self):
+        if self.is_next:
+            return "24.2.0-next"
+        else:
+            return "24.0.0"
+
+    @property
+    def lk_version(self):
+        return "24.0.0"
+
+    @property
+    def tarball(self):
+        return "gpr-%s.tar.gz" % self.version
+
+    @property
+    def lk_tarball(self):
+        return "langkit-py-%s.tar.gz" % self.lk_version
+
+    @property
+    def build_space_name(self):
+        if self.is_next:
+            return "%s-next" % (self.name)
+        else:
+            return self.name
+
+    @property
+    def source_pkg_build(self):
+        return [
+            self.HTTPSSourceBuilder(
+                name=self.tarball,
+                url="https://github.com/AdaCore/gpr/archive/v%s.tar.gz"
+                % ( self.version),
+            ),
+            self.HTTPSSourceBuilder(
+                name=self.lk_tarball,
+                url="https://github.com/AdaCore/langkit/archive/v%s.tar.gz"
+                % self.lk_version,
+            )
+        ]
+
+    @property
+    def build_source_list(self):
+        return [
+            Anod.Source(name=self.tarball, publish=True, dest=""),
+            Anod.Source(name=self.lk_tarball, publish=True, dest="langkit_src"),
+            Anod.Source(
+            name=self.deps["gprconfig_kb"].tarball,
+            publish=True,
+            dest="gprconfig_kb",
+            ),
+        ]
+
+    @property
+    def build_deps(self):
+        return [
+            Anod.Dependency("base_gcc", track=True),
+            Anod.Dependency("gprbuild", track=True),
+            Anod.Dependency("libgpr", track=True),
+            Anod.Dependency("xmlada", track=True),
+            Anod.Dependency("gnatcoll", track=True),
+            Anod.Dependency("gnatcoll-bindings", track=True),
+            Anod.Dependency("langkit_support", track=True),
+            Anod.Dependency("libadalang", track=True),
+            Anod.Dependency("gprconfig_kb", require="source_pkg", track=True),
+        ]
+
+    @Anod.primitive()
+    def build(self):
+        for m in self.deps:
+            if m != "gprconfig_kb":
+                self.deps[m].setenv()
+
+        self.env.add_search_path("PYTHONPATH", os.path.join(self["SRC_DIR"], "langkit_src"))
+
+        make = Make(self,
+                    makefile=os.path.join(self["SRC_DIR"], "Makefile"),
+                    exec_dir=self["BUILD_DIR"],
+                    jobs=1)
+
+        make.set_var("prefix", self["INSTALL_DIR"])
+        make.set_var("GPR2_BUILD", "release")
+        make.set_var("FORCE_PARSER_GEN", "force")
+        make.set_var("GPR2KBDIR", os.path.join(self["SRC_DIR"], "gprconfig_kb", "db"))
+
+        for build_kind in ["static"]:
+            make("build-lib-%s" % build_kind)
+            make("install-lib-%s" % build_kind)
+        sync_tree(
+            os.path.join(self["SRC_DIR"], "examples"),
+            os.path.join(self["INSTALL_DIR"], "share", "examples", "gpr2"),
+            delete=True,
+            )
+
+        self.clean()
diff --git a/specs/libiconv.anod b/specs/libiconv.anod
index b43cfa7..39e4d74 100644
--- a/specs/libiconv.anod
+++ b/specs/libiconv.anod
@@ -30,7 +30,7 @@ class LibIconv(spec("common")):
 
     @property
     def build_deps(self):
-        return [Anod.Dependency("gcc")]
+        return [Anod.Dependency("base_gcc")]
 
     def setenv(self):
         self.env.add_search_path(
diff --git a/specs/spark2014.anod b/specs/spark2014.anod
index f12392b..8900f54 100644
--- a/specs/spark2014.anod
+++ b/specs/spark2014.anod
@@ -10,7 +10,7 @@ import os
 class SPARK2014(spec("common")):
     @property
     def version(self):
-        return "13.2.0"
+        return "14.1.0"
 
     @property
     def tarball(self):
@@ -28,29 +28,33 @@ class SPARK2014(spec("common")):
         return "gcc-%s.tar.gz" % self.version
 
     @property
-    def cvc5_binary(self):
+    def sparklib_tarball(self):
+        return "sparkib-%s.tar.gz" % self.version
+
+    @property
+    def cvc5_zip(self):
         if self.env.host.os.name == "windows":
-            fn = "cvc5-Win64.exe"
+            fn = "cvc5-Win64-static.zip"
         elif self.env.host.os.name == "darwin" and \
              self.env.target.cpu.name == "x86_64":
-            fn = "cvc5-macOS"
+            fn = "cvc5-macOS-static.zip"
         elif self.env.host.os.name == "darwin":
-            fn = "cvc5-macOS-arm64"
+            fn = "cvc5-macOS-arm64-static.zip"
         else:
-            fn = "cvc5-linux"
+            fn = "cvc5-linux-static.zip"
         return fn
 
     @property
     def z3_zip(self):
         if self.env.host.os.name == "windows":
-            fn = "z3-4.12.2-x64-win.zip"
+            fn = "z3-4.13.0-x64-win.zip"
         elif self.env.host.os.name == "darwin" and \
              self.env.target.cpu.name == "x86_64":
-            fn = "z3-4.12.2-x64-osx-10.16.zip"
+            fn = "z3-4.13.0-x64-osx-11.7.10.zip"
         elif self.env.host.os.name == "darwin":
-            fn = "z3-4.12.2-arm64-osx-11.0.zip"
+            fn = "z3-4.13.0-arm64-osx-11.0.zip"
         else:
-            fn = "z3-4.12.2-x64-glibc-2.31.zip"
+            fn = "z3-4.13.0-x64-glibc-2.35.zip"
         return fn
 
     @property
@@ -63,16 +67,20 @@ class SPARK2014(spec("common")):
             ),
             self.HTTPSSourceBuilder(
                 name=self.tarball,
-                url="https://github.com/adacore/spark2014/tarball/fsf-13",
+                url="https://github.com/adacore/spark2014/tarball/fsf-14",
+            ),
+            self.HTTPSSourceBuilder(
+                name=self.sparklib_tarball,
+                url="https://github.com/adacore/sparklib/tarball/master",
             ),
             self.HTTPSSourceBuilder(
-                name=self.cvc5_binary,
-                url="https://github.com/cvc5/cvc5/releases/download/cvc5-1.0.5/%s"
-                % self.cvc5_binary,
+                name=self.cvc5_zip,
+                url="https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.2/%s"
+                % self.cvc5_zip,
             ),
             self.HTTPSSourceBuilder(
                 name=self.z3_zip,
-                url="https://github.com/Z3Prover/z3/releases/download/z3-4.12.2/%s"
+                url="https://github.com/Z3Prover/z3/releases/download/z3-4.13.0/%s"
                 % self.z3_zip,
             ),
         ]
@@ -82,9 +90,8 @@ class SPARK2014(spec("common")):
         return [
             Anod.Source(name=self.tarball, publish=True, dest=""),
             Anod.Source(name=self.gcc_tarball, publish=True, dest="gcc"),
-            Anod.Source(
-                name=self.cvc5_binary, publish=True, unpack_cmd=cp, dest="cvc5"
-            ),
+            Anod.Source(name=self.sparklib_tarball, publish=True, dest="include"),
+            Anod.Source(name=self.cvc5_zip, publish=True, dest="cvc5"),
             Anod.Source(name=self.z3_zip, publish=True, dest="z3"),
         ]
 
@@ -99,8 +106,12 @@ class SPARK2014(spec("common")):
             Anod.Dependency("gmp", qualifier="shared_lib"),
             Anod.Dependency("gprbuild"),
             Anod.Dependency("gnatcoll"),
+            Anod.Dependency("gnatcoll-bindings"),
             Anod.Dependency("xmlada"),
+            Anod.Dependency("libgpr2", qualifier="next"),
             Anod.Dependency("libgpr"),
+            Anod.Dependency("langkit_support"),
+            Anod.Dependency("libadalang"),
         ]
         return deps
 
@@ -156,12 +167,7 @@ class SPARK2014(spec("common")):
         sync_tree(self.deps["gmp"]["INSTALL_DIR"], libexec_spark, delete=False)
 
         sync_tree(os.path.join(self["SRC_DIR"], "z3"), libexec_spark, delete=False)
-        cvc5_binary_name = "cvc5.exe" if self.env.host.os.name == "windows" else "cvc5"
-        cvc5_binary_name = os.path.join(libexec_spark_bin, cvc5_binary_name)
-        cp(
-            os.path.join(self["SRC_DIR"], "cvc5", self.cvc5_binary),
-            cvc5_binary_name
-        )
+        sync_tree(os.path.join(self["SRC_DIR"], "cvc5"), libexec_spark, delete=False)
 
         for fn in [
             "gnat2why",
diff --git a/utils/gen_gnat_manifests.py b/utils/gen_gnat_manifests.py
index f67fa91..0ea5df7 100755
--- a/utils/gen_gnat_manifests.py
+++ b/utils/gen_gnat_manifests.py
@@ -7,8 +7,8 @@
 import os
 import shutil
 
-PKG_VERSION = "13.2.0-1"
-CRATE_VERSION = "13.2.1"
+PKG_VERSION = "14.1.0-2"
+CRATE_VERSION = "14.1.2"
 
 targets = {
     "x86_64": {"crate": "gnat_native", "description": "Native"},
@@ -87,14 +87,17 @@ def check_sha256(package):
 PATH.prepend = "${{CRATE_ROOT}}/bin"
 
 [origin."case(os)".linux."case(host-arch)".x86-64]
+binary = true
 url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-{PKG_VERSION}/{linux_package}"
 hashes = ["sha256:{linux_sha256}"]
 
 [origin."case(os)".windows."case(host-arch)".x86-64]
+binary = true
 url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-{PKG_VERSION}/{windows_package}"
 hashes = ["sha256:{windows_sha256}"]
 
 [origin."case(os)".macos."case(host-arch)".x86-64]
+binary = true
 url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-{PKG_VERSION}/{macos_package}"
 hashes = ["sha256:{macos_sha256}"]
 """