1 files changed, 1 insertions, 1 deletions

diff --git a/Dockerfile b/Dockerfile
index 0cbb1ff..4544401 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,4 @@
-FROM amutake/satysfi
+FROM amutake/satysfi:0.0.11
 
 RUN opam update && \
     opam install satysfi-base