update tools

Dockerfile

@@ -95,7 +95,7 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps  -y \
         bnettoprime=1.0=h6bb024c_0 \
         bns=1.3=0 \
         bioasp::caspo=4.0.1=py_0 \
-        potassco::clingo=5.5.1=py39he80948d_0 \
+        potassco::clingo=5.5.2=py39h3fd9d12_0 \
         eqntott=1.0=1 \
         espresso-logic-minimizer=9999=h14c3975_0 \
         its=20210125=0 \
@@ -122,11 +122,11 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps -y \
         boolsim-python=0.5=py_0 \
         cabean-python=1.0=py_0 \
         caspo-control=1.0=py_0 \
-        boolean.py=3.9+git_1=py_0 \
+        boolean.py=4.0=py_0 \
         casq=1.0.3=py_0 \
-        colomoto_jupyter=0.8.3=py_0 \
+        colomoto_jupyter=0.8.4=py_0 \
         ginsim-python=0.4.3=py_0 \
-        mpbn=1.6=py_0 \
+        mpbn=1.7=py_0 \
         pyactonet=1.0=py_0 \
         pymaboss=0.8.2=py_0 \
         pypint=1.6.2=py_0 \