From eb95ef86221efd75e99d347c9675746c24b6cf19 Mon Sep 17 00:00:00 2001
From: Romain Malmain <romain.malmain@pm.me>
Date: Tue, 14 May 2024 10:24:47 +0200
Subject: [PATCH] Remove dependency on pretty print packages.

---
 Dockerfile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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