Fix mathlibtools version

kazk · kazk · commit ce24ae1fb381 · 2022-02-09T00:06:14.000-08:00
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
