Fix mathlibtools version

codewars · Feb 9, 2022 · ce24ae1 · ce24ae1
1 parent a487547
commit ce24ae1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -16,7 +16,7 @@ RUN set -ex; \
         python3-setuptools \
     ; \
 # Install `leanproject`
-    pip3 install mathlibtools; \
+    pip3 install -Iv mathlibtools==0.0.10; \
     rm -rf /tmp/* /var/lib/apt/lists/*;
 
 USER codewarrior