update tools

colomoto · Oct 19, 2023 · 11f061c · 11f061c
1 parent 7b847a2
commit 11f061c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -122,14 +122,14 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps  -y  \
         nusmv-a=1.2=h6bb024c_0 \
         nusmv-arctl=2.2.2=0 \
         pint=2019.05.24=1 \
-        r-boolnet=2.1.8 \
+        r-boolnet=2.1.9 \
     && conda clean -y --all && rm -rf /opt/conda/pkgs
 
 # Tier 2: tools with regular updates (2-4/year)
 RUN AUTO_UPDATE=1 conda install --no-update-deps -y \
         -c daemontus -c pauleve \
         libsbml-plus-packages=5.20.0=hbee6a8b_0 \
-        biodivine_aeon=0.2.0=py310h9bf148f_0 \
+        biodivine_aeon=0.3.0=py310h9bf148f_0 \
         cabean=1.0.0=0 \
         ginsim=3.0.0b=12 \
         maboss=2.5.3=h2bc3f7f_1 \