From 0e71e38377bea300fef6b9ae86606e721ea595db Mon Sep 17 00:00:00 2001
From: Ammar Qammaz <ammarkov@ics.forth.gr>
Date: Wed, 25 Oct 2023 16:37:27 +0300
Subject: [PATCH] ...

---
 docker/Dockerfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 7e1782f..5bda55d 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -24,7 +24,6 @@ RUN \
 			sudo \
 			wget \
 			nano \
-            python3.8-venv \
             libboost-program-options-dev \
             libboost-filesystem-dev \
             libboost-graph-dev \