From fa6fd006ab7c1dab723264688be8cf709316d55b Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Sat, 16 Aug 2025 16:28:13 +0800
Subject: [PATCH] docker image: drop ubuntu's older z3 in favor of upstream for
 now (#7819)

Since grisette tests need z3-4.12 or later
---
 docker/02-apt-get-install.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index 58d787f4..a55009a9 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -170,7 +170,6 @@ apt-get install -y \
     unzip \
     wget \
     xclip \
-    z3 \
     zip \
     zlib1g-dev \
     zsh