# HG changeset patch
# User wenzelm
# Date 1711034163 -3600
# Node ID 6c4e20a02ac75e0e818c406c56ecbfe4356f0ca8
# Parent  ef635b035561ec7e43d54888c367c84ef5398def
update to jsoup-1.17.2;

diff -r ef635b035561 -r 6c4e20a02ac7 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Mar 21 16:15:25 2024 +0100
+++ b/Admin/components/components.sha1	Thu Mar 21 16:16:03 2024 +0100
@@ -290,6 +290,7 @@
 2155e0bdbd29cd3d2905454de2e7203b9661d239 jortho-1.0-2.tar.gz
 ffe179867cf5ffaabbb6bb096db9bdc0d7110065 jortho-1.0.tar.gz
 df8bb213d39a7eecae97e6af3b11752d6c704c90 jsoup-1.15.4.tar.gz
+b1c8e2a289e40cbc139a3c371348cef3b537b1c7 jsoup-1.17.2.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 ef635b035561 -r 6c4e20a02ac7 Admin/components/main
--- a/Admin/components/main	Thu Mar 21 16:15:25 2024 +0100
+++ b/Admin/components/main	Thu Mar 21 16:16:03 2024 +0100
@@ -17,7 +17,7 @@
 jedit-20231120
 jfreechart-1.5.3
 jortho-1.0-2
-jsoup-1.15.4
+jsoup-1.17.2
 kodkodi-1.5.7
 lipics-3.1.3
 llncs-2.23
diff -r ef635b035561 -r 6c4e20a02ac7 src/Pure/Admin/component_jsoup.scala
--- a/src/Pure/Admin/component_jsoup.scala	Thu Mar 21 16:15:25 2024 +0100
+++ b/src/Pure/Admin/component_jsoup.scala	Thu Mar 21 16:16:03 2024 +0100
@@ -11,7 +11,7 @@
   /* build jsoup */
 
   val default_download_url =
-    "https://repo1.maven.org/maven2/org/jsoup/jsoup/1.15.4/jsoup-1.15.4.jar"
+    "https://repo1.maven.org/maven2/org/jsoup/jsoup/1.17.2/jsoup-1.17.2.jar"
 
   def build_jsoup(
     download_url: String = default_download_url,