diff --git a/package/debian/Dockerfile b/package/debian/Dockerfile
deleted file mode 100644
index 17f432244b6..00000000000
--- a/package/debian/Dockerfile
+++ /dev/null
@@ -1,84 +0,0 @@
-ARG BASE_IMAGE=ubuntu:jammy
-FROM ${BASE_IMAGE}
-ARG BASE_IMAGE
-
-ARG LLVM_VERSION=10
-
-ENV TZ America/Chicago
-ENV DEBIAN_FRONTEND=noninteractive
-
-RUN    apt-get update            \
-    && apt-get install --yes     \
-        bison                    \
-        build-essential          \
-        clang-$LLVM_VERSION      \
-        cmake                    \
-        curl                     \
-        debhelper                \
-        flex                     \
-        gcc                      \
-        g++                      \
-        git                      \
-        libboost-dev             \
-        libboost-test-dev        \
-        libgdbm-dev              \
-        libgmp-dev               \
-        libjemalloc-dev          \
-        libffi-dev               \
-        libfmt-dev               \
-        libmpfr-dev              \
-        libncurses5-dev          \
-        libnss3-dev              \
-        libreadline-dev          \
-        libsecp256k1-dev         \
-        libsqlite3-dev           \
-        libssl-dev               \
-        libyaml-dev              \
-        libbz2-dev               \
-        libz3-dev                \
-        lld-$LLVM_VERSION        \
-        llvm-$LLVM_VERSION-tools \
-        maven                    \
-        openjdk-17-jdk           \
-        parallel                 \
-        pkg-config               \
-        python3                  \
-        python3-dev              \
-        python3-distutils        \
-        python3-pip              \
-        zlib1g-dev
-
-RUN curl -sSL https://get.haskellstack.org/ | sh
-
-RUN    git clone 'https://github.com/z3prover/z3' --branch=z3-4.8.15 \
-    && cd z3                                                         \
-    && python3 scripts/mk_make.py                                     \
-    && cd build                                                      \
-    && make -j8                                                      \
-    && make install                                                  \
-    && cd ../..                                                      \
-    && rm -rf z3
-
-ARG USER_ID=1000
-ARG GROUP_ID=1000
-RUN    groupadd -g $GROUP_ID user                     \
-    && useradd -m -u $USER_ID -s /bin/sh -g user user
-
-USER $USER_ID:$GROUP_ID
-
-ENV LC_ALL=C.UTF-8
-ADD --chown=user:user haskell-backend/src/main/native/haskell-backend/stack.yaml                          /home/user/.tmp-haskell/
-ADD --chown=user:user haskell-backend/src/main/native/haskell-backend/kore/kore.cabal                     /home/user/.tmp-haskell/kore/
-ADD --chown=user:user haskell-backend/src/main/native/haskell-backend/kore-rpc-types/kore-rpc-types.cabal /home/user/.tmp-haskell/kore-rpc-types/
-RUN    cd /home/user/.tmp-haskell  \
-    && stack build --only-snapshot
-
-ADD pom.xml                                                    /home/user/.tmp-maven/
-ADD llvm-backend/pom.xml                                       /home/user/.tmp-maven/llvm-backend/
-ADD llvm-backend/src/main/native/llvm-backend/matching/pom.xml /home/user/.tmp-maven/llvm-backend/src/main/native/llvm-backend/matching/
-ADD haskell-backend/pom.xml                                    /home/user/.tmp-maven/haskell-backend/
-ADD kernel/pom.xml                                             /home/user/.tmp-maven/kernel/
-ADD k-distribution/pom.xml                                     /home/user/.tmp-maven/k-distribution/
-ADD kore/pom.xml                                               /home/user/.tmp-maven/kore/
-RUN    cd /home/user/.tmp-maven               \
-    && mvn --batch-mode dependency:go-offline
diff --git a/package/docker/Dockerfile.ubuntu-jammy b/package/docker/Dockerfile.ubuntu-jammy
index c3df771541f..607fcb9a978 100644
--- a/package/docker/Dockerfile.ubuntu-jammy
+++ b/package/docker/Dockerfile.ubuntu-jammy
@@ -1,4 +1,4 @@
-FROM ubuntu:jammy
+FROM runtimeverificationinc/z3:ubuntu-jammy-4.12.1
 
 ENV TZ=America/Chicago
 RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
@@ -11,15 +11,6 @@ RUN    apt-get update                   \
                         python3         \
                         python3-pip
 
-RUN    git clone 'https://github.com/z3prover/z3' --branch=z3-4.8.15 \
-    && cd z3                                                         \
-    && python3 scripts/mk_make.py                                    \
-    && cd build                                                      \
-    && make -j8                                                      \
-    && make install                                                  \
-    && cd ../..                                                      \
-    && rm -rf z3
-
 COPY kframework_amd64_ubuntu_jammy.deb /kframework_amd64_ubuntu_jammy.deb
 RUN    apt-get update                                                                   \
     && apt-get upgrade --yes                                                            \