# HG changeset patch
# User wenzelm
# Date 1734351185 -3600
# Node ID b0532b178d1126f18cece7e76f6365d64fe5b0a4
# Parent  3b93da12e9bd701b24e261a9db841a19f84c4fdc
update to llncs-2.25;

diff -r 3b93da12e9bd -r b0532b178d11 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Dec 16 13:08:32 2024 +0100
+++ b/Admin/components/components.sha1	Mon Dec 16 13:13:05 2024 +0100
@@ -318,6 +318,7 @@
 881741f6e7192fd03835b542b1db820daf0ae79c lipics-3.1.3.tar.gz
 71b6a272d10c53bb54cba23102e15334ec39bfce llncs-2.22.tar.gz
 29aa7179fbd02c528ac61df6e2e8512175093e35 llncs-2.23.tar.gz
+ed6ff2c06f400eb7bd408c6517b4af5ff6749e5b llncs-2.25.tar.gz
 0aab4f73ff7f5e36f33276547e10897e1e56fb1d macos_app-20130716.tar.gz
 ad5d0e640ce3609a885cecab645389a2204e03bb macos_app-20150916.tar.gz
 400af57ec5cd51f96928d9de00d077524a6fe316 macos_app-20181205.tar.gz
diff -r 3b93da12e9bd -r b0532b178d11 Admin/components/main
--- a/Admin/components/main	Mon Dec 16 13:08:32 2024 +0100
+++ b/Admin/components/main	Mon Dec 16 13:13:05 2024 +0100
@@ -20,7 +20,7 @@
 jsoup-1.18.3
 kodkodi-1.5.7
 lipics-3.1.3
-llncs-2.23
+llncs-2.25
 minisat-2.2.1-1
 mlton-20210117-3
 nunchaku-0.5