Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update to llncs-2.25;
authorwenzelm
Mon, 16 Dec 2024 13:13:05 +0100
changeset 81603 b0532b178d11
parent 81602 3b93da12e9bd
child 81604 707c247194be
update to llncs-2.25;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle