From a86891a923bd915bf9416c428f3e2a9f1aa078ef Mon Sep 17 00:00:00 2001
From: th33xitus <th33xitus@googlemail.com>
Date: Wed, 9 Feb 2022 21:42:08 +0100
Subject: [PATCH] chore: shave off another ~30 MB

---
 docker/Dockerfile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 987ee00..e1f73e0 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -24,9 +24,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
     libopenjp2-7 \
     libsodium-dev \
     libssl-dev \
-    python3-dev \
     python3-libgpiod \
-    python3-virtualenv \
     zlib1g-dev \
     ### libsim for simulavr
     && cd /usr/src \