From ef796479d53a73062f9a24cc96c135b5b6b68b5b Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 20 Feb 2024 21:14:47 +0000
Subject: [PATCH] update tools

---
 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 7723a84..005fac7 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -115,7 +115,7 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps  -y  \
         bnettoprime=1.0=h6bb024c_0 \
         bns=1.3=0 \
         caspo=4.0.1=py_1 \
-        clingo=5.6.2=py311hb755f60_1 \
+        clingo=5.7.1=py311h3fd9d12_0 \
         eqntott=1.0=1 \
         erode-python=0.7.2=py_0 \
         espresso-logic-minimizer=9999=h14c3975_0 \
@@ -131,7 +131,7 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps  -y  \
 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.0.9a2=py311h9bf148f_0 \
+        biodivine_aeon=0.0.9a3=py311h9bf148f_0 \
         cabean=1.0.0=0 \
         ginsim=3.0.0b=12 \
         maboss=2.5.4=h2bc3f7f_1 \