update tools

Dockerfile

@@ -90,8 +90,8 @@ 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 \
-        ginsim=3.0.0b=11 \
-        maboss=2.3.1=h6bb024c_0 \
+        ginsim=3.0.0b=12 \
+        maboss=2.3.2=h6bb024c_0 \
         pint=2019.05.24=1 \
         r-boolnet=2.1.5 \
     && conda clean -y --all && rm -rf /opt/conda/pkgs
@@ -100,10 +100,10 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps -y \
 RUN AUTO_UPDATE=1 conda install --no-update-deps -y \
         conda-forge::boolean.py=3.7=py_0 \
         casq=0.7.4=py_1 \
-        colomoto_jupyter=0.6.3=py_0 \
+        colomoto_jupyter=0.6.4=py_0 \
         ginsim-python=0.4.2=py_0 \
         mpbn=1.2=py_0 \
-        pymaboss=0.7.11=py_0 \
+        pymaboss=0.7.12=py_0 \
         pypint=1.6.0=py_0 \
     && conda clean -y --all && rm -rf /opt/conda/pkgs