diff --git a/debian/control b/debian/control
index d24bba33..e1b50ae2 100644
--- a/debian/control
+++ b/debian/control
@@ -23,7 +23,7 @@ Build-Depends: debhelper (>= 10.0), cmake, ninja-build,
     ocaml-findlib [amd64 arm64 ppc64el riscv64 s390x],
     libctypes-ocaml-dev [amd64 arm64 ppc64el riscv64 s390x],
     dh-exec, dh-ocaml [amd64 arm64 ppc64el riscv64 s390x],
-    libpfm4-dev [linux-any], python3-setuptools, libz3-dev [!sh4],
+    libpfm4-dev [linux-any], python3-setuptools, 
 # "| hello" is for older buster/bionic distros without spirv support
 # We need to keep the constraints coherent between the two alternatives, otherwise
 # hello would get installed unexpectedly and prevent e.g. wasi-libc from getting pulled
@@ -347,8 +347,8 @@ Section: libs
 Depends: ${shlibs:Depends}, ${misc:Depends}
 Pre-Depends: ${misc:Pre-Depends}
 Multi-Arch: same
-Breaks: llvm-19-dev (<< 1:19.1.0~++20240910033111)
-Replaces: llvm-19-dev (<< 1:19.1.0~++20240910033111)
+Breaks: llvm-19-dev (<< 1:19.1.0~++rc3-1~exp2)
+Replaces: llvm-19-dev (<< 1:19.1.0~++rc3-1~exp2)
 Description: Modular compiler and toolchain technologies, runtime library
  LLVM is a collection of libraries and tools that make it easy to build
  compilers, optimizers, just-in-time code generators, and many other
@@ -421,7 +421,7 @@ Architecture: any
 Depends: ${shlibs:Depends}, libffi-dev, ${misc:Depends},
  llvm-19 (= ${binary:Version}), libllvm19 (= ${binary:Version}), libncurses-dev,
  llvm-19-tools (= ${binary:Version}), libclang-cpp19 (= ${binary:Version}),
- libxml2-dev, libz3-dev [!sh4],
+ libxml2-dev, 
 Breaks: libllvm19 (<< 1:19.1.0~++rc4-5)
 Replaces: libllvm19 (<< 1:19.1.0~++rc4-5)
 Description: Modular compiler and toolchain technologies, libraries and headers