update tools

Dockerfile

@@ -22,7 +22,7 @@ RUN conda install --no-update-deps  -y \
 
 # Tier 2: tools with regular updates (2-4/year)
 RUN conda install --no-update-deps -y \
-        ginsim=3.0.0b=9 \
+        ginsim=3.0.0b=11 \
         maboss=2.3.1=h6bb024c_0 \
         pint=2019.05.24=1 \
         r-boolnet=2.1.5 \
@@ -31,10 +31,10 @@ RUN conda install --no-update-deps -y \
 # Tier 3: tools with frequent updates (>4/year)
 RUN conda install --no-update-deps -y \
         conda-forge::boolean.py=3.7=py_0 \
-        colomoto_jupyter=0.6.2=py_0 \
-        ginsim-python=0.4.1=py_0 \
+        colomoto_jupyter=0.6.3=py_0 \
+        ginsim-python=0.4.2=py_0 \
         mpbn=1.2=py_0 \
-        pymaboss=0.7.10=py_0 \
+        pymaboss=0.7.11=py_0 \
         pypint=1.6.0=py_0 \
         casq=0.7.4=py_0 \
     && conda clean -y --all && rm -rf /opt/conda/pkgs