--- a/Admin/components/main Sat Jan 20 16:23:51 2024 +0100 +++ b/Admin/components/main Sat Jan 20 20:24:04 2024 +0100 @@ -20,7 +20,7 @@ jsoup-1.15.4 kodkodi-1.5.7 lipics-3.1.3 -llncs-2.22 +llncs-2.23 minisat-2.2.1-1 mlton-20210117-1 nunchaku-0.5