update tools

colomoto · Mar 6, 2024 · 4b20d7d · 4b20d7d
1 parent ef79647
commit 4b20d7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -134,7 +134,7 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps -y \
         biodivine_aeon=0.0.9a3=py311h9bf148f_0 \
         cabean=1.0.0=0 \
         ginsim=3.0.0b=12 \
-        maboss=2.5.4=h2bc3f7f_1 \
+        maboss=2.5.5=h2bc3f7f_1 \
         pyboolnet=3.0.10.post1=py_0 \
     && conda clean -y --all && rm -rf /opt/conda/pkgs