# HG changeset patch
# User wenzelm
# Date 1754942109 -7200
# Node ID 3602e2da6da1454365adcefee322c3065d418892
# Parent  cae70aa290549c35243c826d56e8f730601fb041
update to flatlaf-3.6.1 and related jsvg-2.0.0;

diff -r cae70aa29054 -r 3602e2da6da1 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Aug 11 20:42:52 2025 +0200
+++ b/Admin/components/components.sha1	Mon Aug 11 21:55:09 2025 +0200
@@ -131,6 +131,7 @@
 a93a98c80536a6984db118e129b1b3a778c700ce flatlaf-3.5.4.tar.gz
 7de5b13afd4d9ac09e4d591b63c1979b9276e4f6 flatlaf-3.6-1.tar.gz
 372ac19c1783af818591c379e1646a3fc1fbbfc2 flatlaf-3.6-2.tar.gz
+4fb3a47f1f4de350bbe330a9c9d185fbde3f3d87 flatlaf-3.6.1.tar.gz
 1363421c87dd24bbff318e37c4788ba0339db7ad flatlaf-3.6.tar.gz
 b1c40ce6c087da7e70e221ddd3fcadfa569acb2f foiltex-2.1.4b.tar.gz
 f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
@@ -338,6 +339,7 @@
 b1c8e2a289e40cbc139a3c371348cef3b537b1c7 jsoup-1.17.2.tar.gz
 342f12a07889ec173b13df9327db684b45118252 jsoup-1.18.3.tar.gz
 a7419f9dab68e50d05533980b6729d1dd7aafb3b jsvg-1.7.1.tar.gz
+1fa4ecbd91f286728caa6540c1d5477ccdf8b1ed jsvg-2.0.0.tar.gz
 6c737137cc597fc920943783382e928ea79e3feb kodkodi-1.2.16.tar.gz
 afb04f4048a87bb888fe7b05b0139cb060c7925b kodkodi-1.5.2-1.tar.gz
 5f95c96bb99927f3a026050f85bd056f37a9189e kodkodi-1.5.2.tar.gz
diff -r cae70aa29054 -r 3602e2da6da1 Admin/components/main
--- a/Admin/components/main	Mon Aug 11 20:42:52 2025 +0200
+++ b/Admin/components/main	Mon Aug 11 21:55:09 2025 +0200
@@ -9,7 +9,7 @@
 easychair-3.5
 eptcs-1.7.0
 find_facts_web-20250223
-flatlaf-3.6-2
+flatlaf-3.6.1
 foiltex-2.1.4b
 isabelle_fonts-20241227
 isabelle_setup-20250613
@@ -19,7 +19,7 @@
 jfreechart-1.5.3
 jortho-1.0-2
 jsoup-1.18.3
-jsvg-1.7.1
+jsvg-2.0.0
 kodkodi-1.5.7
 lipics-3.1.3
 llncs-2.25
diff -r cae70aa29054 -r 3602e2da6da1 src/Pure/Admin/component_flatlaf.scala
--- a/src/Pure/Admin/component_flatlaf.scala	Mon Aug 11 20:42:52 2025 +0200
+++ b/src/Pure/Admin/component_flatlaf.scala	Mon Aug 11 21:55:09 2025 +0200
@@ -32,7 +32,7 @@
   /* build flatlaf */
 
   val default_download_url = "https://repo1.maven.org/maven2/com/formdev"
-  val default_version = "3.6"
+  val default_version = "3.6.1"
 
   def build_flatlaf(
     target_dir: Path = Path.current,
diff -r cae70aa29054 -r 3602e2da6da1 src/Pure/Admin/component_jsvg.scala
--- a/src/Pure/Admin/component_jsvg.scala	Mon Aug 11 20:42:52 2025 +0200
+++ b/src/Pure/Admin/component_jsvg.scala	Mon Aug 11 21:55:09 2025 +0200
@@ -11,7 +11,7 @@
   /* build jsvg */
 
   val default_download_url =
-    "https://repo1.maven.org/maven2/com/github/weisj/jsvg/1.7.1/jsvg-1.7.1.jar"
+    "https://repo1.maven.org/maven2/com/github/weisj/jsvg/2.0.0/jsvg-2.0.0.jar"
 
   def build_jsvg(
     download_url: String = default_download_url,