From ce24ae1fb3814379b579f9fa4b33f5866cafd9f9 Mon Sep 17 00:00:00 2001
From: kazk <kazk.dev@gmail.com>
Date: Wed, 9 Feb 2022 00:06:14 -0800
Subject: [PATCH] Fix mathlibtools version

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index db07633..60f0d3a 100644
--- 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