diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 1fbab3c443a..4e331d873f8 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -177,7 +177,7 @@ jobs:
         with:
           os: ubuntu
           distro: noble
-          llvm: 16
+          llvm: 17
           jdk: 21
           pkg-name: kframework_amd64_ubuntu_noble.deb
           build-package: package/debian/build-package noble kframework
diff --git a/install-build-deps b/install-build-deps
index d89338691f9..03da8e7c604 100755
--- a/install-build-deps
+++ b/install-build-deps
@@ -11,7 +11,7 @@ inst_Debian() {
     sudo apt-get install -q     \
         bison                   \
         build-essential         \
-        clang-15                \
+        clang-17                \
         cmake                   \
         curl                    \
         flex                    \
@@ -26,8 +26,8 @@ inst_Debian() {
         libunwind-dev           \
         libyaml-dev             \
         libz3-dev               \
-        lld-15                  \
-        llvm-15-tools           \
+        lld-17                  \
+        llvm-17-tools           \
         m4                      \
         maven                   \
         openjdk-17-jdk          \
diff --git a/macos-envrc b/macos-envrc
index 764c5959628..e3f08d25e40 100644
--- a/macos-envrc
+++ b/macos-envrc
@@ -3,5 +3,5 @@
 
 PATH_add `brew --prefix bison`/bin
 PATH_add `brew --prefix flex`/bin
-PATH_add `brew --prefix llvm@15`/bin
+PATH_add `brew --prefix llvm@17`/bin
 PATH_add `brew --prefix openjdk`/bin
diff --git a/package/debian/kframework/control.noble b/package/debian/kframework/control.noble
index 24f47adbf10..e78589ab676 100644
--- a/package/debian/kframework/control.noble
+++ b/package/debian/kframework/control.noble
@@ -2,7 +2,7 @@ Source: kframework
 Section: devel
 Priority: optional
 Maintainer: Dwight Guth <dwight.guth@runtimeverification.com>
-Build-Depends: clang-16 , cmake , debhelper (>=10) , flex , libboost-test-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-dev , libunwind-dev , libyaml-dev , maven , openjdk-21-jdk , pkg-config , python3 , python3-dev , python3-pip , xxd , zlib1g-dev
+Build-Depends: clang-17 , cmake , debhelper (>=10) , flex , libboost-test-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-dev , libunwind-dev , libyaml-dev , maven , openjdk-21-jdk , pkg-config , python3 , python3-dev , python3-pip , xxd , zlib1g-dev
 Standards-Version: 3.9.6
 Homepage: https://github.com/runtimeverification/k
 
@@ -10,7 +10,7 @@ Package: kframework
 Architecture: any
 Section: devel
 Priority: optional
-Depends: bison , clang-16 , openjdk-21-jre-headless , flex , gcc , g++ , libboost-dev , libffi-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-1 , libtinfo-dev , libunwind-dev , libyaml-0-2 , libz3-4 , lld-16 , llvm-16 , pkg-config
+Depends: bison , clang-17 , openjdk-21-jre-headless , flex , gcc , g++ , libboost-dev , libffi-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-1 , 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
diff --git a/package/macos/brew-install-deps b/package/macos/brew-install-deps
index 5e17a9c6438..45fd5904d51 100755
--- a/package/macos/brew-install-deps
+++ b/package/macos/brew-install-deps
@@ -1,4 +1,4 @@
 #!/bin/bash -ex
 
 brew update
-brew install maven cmake boost libyaml jemalloc llvm@12 gmp mpfr z3 pkg-config flex bison haskell-stack
+brew install maven cmake boost libyaml jemalloc llvm@17 gmp mpfr z3 pkg-config flex bison haskell-stack