diff --git a/Dockerfile b/Dockerfile index 2859665a16..31cbef2332 100644 --- a/Dockerfile +++ b/Dockerfile @@ -16,10 +16,7 @@ RUN apt update && apt install -y \ z3 \ libz3-dev \ libz3-dev \ - libzstd-dev \ - colordiff \ - xxd \ - wdiff + libzstd-dev RUN pip install --user meson