update tools

colomoto · Sep 1, 2022 · aedb438 · aedb438
1 parent a38e4f3
commit aedb438
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -111,7 +111,7 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps -y \
         daemontus::biodivine_aeon=0.1.1=py39h9bf148f_0 \
         cabean=1.0.0=0 \
         ginsim=3.0.0b=12 \
-        maboss=2.4.1=h2bc3f7f_1 \
+        maboss=2.5.0=h2bc3f7f_1 \
         pyboolnet=3.0.9=0 \
     && conda clean -y --all && rm -rf /opt/conda/pkgs