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

Since grisette tests need z3-4.12 or later
2026-01-11 23:08:30 +01:00 · 2025-08-16 16:28:13 +08:00 · 2025-08-16 16:28:13 +08:00 · fa6fd006ab
commit fa6fd006ab
parent 906381b200
1 changed files with 0 additions and 1 deletions
--- 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