diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 11094959bf..1e732e52d5 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -243,7 +243,7 @@ jobs:
         with:
           os: ubuntu
           distro: jammy
-          llvm: 15
+          llvm: 17
           pkg-name: kframework_amd64_ubuntu_jammy.deb
           build-package: package/debian/build-package jammy kframework
           test-package: package/debian/test-package
@@ -531,7 +531,7 @@ jobs:
           tag: k-release-ci-${{ github.sha }}
           os: ubuntu
           distro: jammy
-          llvm: 15
+          llvm: 17
 
       - name: 'Push Maven Packages'
         shell: bash {0}
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 141d4b9396..0b9cd8e832 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -79,7 +79,7 @@ jobs:
           tag: k-ci-${{ github.sha }}
           os: ubuntu
           distro: jammy
-          llvm: 15
+          llvm: 17
       - name: 'Build and Test K'
         run: docker exec -t "k-ci-${GITHUB_SHA}" /bin/bash -c 'mvn verify -Dspotless.check.skip=true --batch-mode -U'
       - name: 'Tear down Docker'
@@ -100,7 +100,7 @@ jobs:
         with:
           os: ubuntu
           distro: jammy
-          llvm: 15
+          llvm: 17
           build-package: package/debian/build-package jammy kframework
           test-package: package/debian/test-package
       - name: On Failure, Upload the kore-exec.tar.gz file to the Summary Page
@@ -131,7 +131,7 @@ jobs:
         with:
           os: ubuntu
           distro: jammy
-          llvm: 15
+          llvm: 17
           build-package: package/debian/build-package jammy kframework-frontend
           test-package: package/debian/test-frontend-package
       - name: On Failure, Upload the kore-exec.tar.gz file to the Summary Page
diff --git a/package/debian/kframework/control.jammy b/package/debian/kframework/control.jammy
index 6fcfc5e3f4..55948b8d89 100644
--- a/package/debian/kframework/control.jammy
+++ b/package/debian/kframework/control.jammy
@@ -10,7 +10,7 @@ Package: kframework
 Architecture: any
 Section: devel
 Priority: optional
-Depends: bison , clang-15 , openjdk-17-jre-headless , flex , gcc , g++ , libboost-dev , libffi-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-0 , libtinfo-dev , libunwind-dev , libyaml-0-2 , libz3-4 , lld-15 , llvm-15 , pkg-config
+Depends: bison , clang-17 , openjdk-17-jre-headless , flex , gcc , g++ , libboost-dev , libffi-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-0 , libtinfo-dev , libunwind-dev , libyaml-0-2 , libz3-4 , lld-17 , llvm-17 , pkg-config
 Recommends: z3
 Description: K framework toolchain
  Includes K Framework compiler for K language definitions, and K interpreter