From 4e89c646eea2ba7c65edb939d96d560be8c0d7c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Mon, 27 Nov 2023 08:14:03 -0800
Subject: [PATCH] ci: standalone.Dockerfile: add missing dependencies

---
 .docker/standalone.Dockerfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.docker/standalone.Dockerfile b/.docker/standalone.Dockerfile
index ac79249d3..d92931a0c 100644
--- a/.docker/standalone.Dockerfile
+++ b/.docker/standalone.Dockerfile
@@ -13,7 +13,9 @@ RUN apt-get update && \
       gawk \
       coreutils \
       sudo \
-      opam
+      opam \
+      python3 \
+      python3-distutils
 
 
 # Create a new user and give them sudo rights