Merge branch 'master' into protz_rs

FStarLang · Nov 27, 2023 · 6d70cce · 6d70cce
2 parents 0b77bc7 + 9562dde
commit 6d70cce
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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