update tools

colomoto · Dec 6, 2023 · 02db61f · 02db61f
1 parent 4521b66
commit 02db61f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -133,7 +133,7 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps -y \
         biodivine_aeon=0.4.0a5=py311h9bf148f_0 \
         cabean=1.0.0=0 \
         ginsim=3.0.0b=12 \
-        maboss=2.5.3=h2bc3f7f_1 \
+        maboss=2.5.4=h2bc3f7f_1 \
         pyboolnet=3.0.10.post1=py_0 \
     && conda clean -y --all && rm -rf /opt/conda/pkgs