pro-forma update to lipics v2021.2.3.tar.gz --- no change of the actual lipics style;

--- a/Admin/components/components.sha1	Wed Oct 22 20:53:24 2025 +0200
+++ b/Admin/components/components.sha1	Wed Oct 22 21:02:58 2025 +0200
@@ -364,6 +364,7 @@
 759848095e2ad506083d92b5646947e3c32f27a0 linux_app-20191223.tar.gz
 1a449ce69ac874e21804595d16aaaf5a0d0d0c10 linux_app-20200110.tar.gz
 5557b396f5a9aa22388d3e2171f9bc58e4bd6cd7 lipics-3.1.2.tar.gz
+433372c6427a4323d9c7c26fbeb59f3568021b5f lipics-3.1.3-1.tar.gz
 881741f6e7192fd03835b542b1db820daf0ae79c lipics-3.1.3.tar.gz
 71b6a272d10c53bb54cba23102e15334ec39bfce llncs-2.22.tar.gz
 29aa7179fbd02c528ac61df6e2e8512175093e35 llncs-2.23.tar.gz

--- a/Admin/components/main	Wed Oct 22 20:53:24 2025 +0200
+++ b/Admin/components/main	Wed Oct 22 21:02:58 2025 +0200
@@ -21,7 +21,7 @@
 jsoup-1.21.2
 jsvg-2.0.0
 kodkodi-1.5.7
-lipics-3.1.3
+lipics-3.1.3-1
 llncs-2.25
 minisat-2.2.1-2
 mlton-20241230-1

--- a/src/Pure/Admin/component_lipics.scala	Wed Oct 22 20:53:24 2025 +0200
+++ b/src/Pure/Admin/component_lipics.scala	Wed Oct 22 21:02:58 2025 +0200
@@ -23,7 +23,7 @@
 
   /* build lipics component */
 
-  val default_url = "https://github.com/dagstuhl-publishing/styles/archive/refs/tags/v2021.1.3.tar.gz"
+  val default_url = "https://github.com/dagstuhl-publishing/styles/archive/refs/tags/v2021.2.3.tar.gz"
 
   def build_lipics(
     download_url: String = default_url,