Remove dependency on pretty print packages.

eurecom-s3 · May 14, 2024 · eb95ef8 · eb95ef8
1 parent f335f79
commit eb95ef8
Showing 1 changed file with 1 addition and 4 deletions.
diff --git 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