update tools

Dockerfile

@@ -133,7 +133,7 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps  -y  \
 # Tier 2: tools with regular updates (2-4/year)
 RUN AUTO_UPDATE=1 conda install --no-update-deps -y \
         -c daemontus \
-        biodivine_aeon=1.1.0=py311h9bf148f_0 \
+        biodivine_aeon=1.1.1=py311h9bf148f_0 \
         maboss=2.6.0=he9e06a5_1 \
         pyboolnet=3.0.14=py311_0 \
     && conda clean -y --all && rm -rf /opt/conda/pkgs
@@ -150,7 +150,7 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps -y \
         caspo-control=1.0=py_0 \
         casq=1.3.3=pyhd8ed1ab_0 \
         colomoto_jupyter=0.8.8=py_0 \
-        ginsim-python=0.4.3=py_0 \
+        ginsim-python=0.4.5=py_0 \
         mpbn=3.8=py_0 \
         nordic=2.5.0=py_0 \
         pyactonet=1.0=py_0 \