docker image: drop ubuntu's older z3 in favor of upstream for now (#7819)

juhp · juhp · commit fa6fd006ab7c · 2025-08-16T16:28:13.000+08:00
Since grisette tests need z3-4.12 or later
diff --git 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

-Original file line number
+Diff line change
     unzip \
     wget \
     xclip \
 -    z3 \
     zip \
     zlib1g-dev \
     zsh