# HG changeset patch
# User wenzelm
# Date 1734350912 -3600
# Node ID 3b93da12e9bd701b24e261a9db841a19f84c4fdc
# Parent  26ff119fb140ca3d01d6e9609206b46aa417bd04
update to jsoup-1.18.3;
enforce rebuild of Isabelle/Scala;

diff -r 26ff119fb140 -r 3b93da12e9bd Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Dec 16 12:55:39 2024 +0100
+++ b/Admin/components/components.sha1	Mon Dec 16 13:08:32 2024 +0100
@@ -300,6 +300,7 @@
 ffe179867cf5ffaabbb6bb096db9bdc0d7110065 jortho-1.0.tar.gz
 df8bb213d39a7eecae97e6af3b11752d6c704c90 jsoup-1.15.4.tar.gz
 b1c8e2a289e40cbc139a3c371348cef3b537b1c7 jsoup-1.17.2.tar.gz
+342f12a07889ec173b13df9327db684b45118252 jsoup-1.18.3.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 26ff119fb140 -r 3b93da12e9bd Admin/components/main
--- a/Admin/components/main	Mon Dec 16 12:55:39 2024 +0100
+++ b/Admin/components/main	Mon Dec 16 13:08:32 2024 +0100
@@ -17,7 +17,7 @@
 jedit-20241115
 jfreechart-1.5.3
 jortho-1.0-2
-jsoup-1.17.2
+jsoup-1.18.3
 kodkodi-1.5.7
 lipics-3.1.3
 llncs-2.23
diff -r 26ff119fb140 -r 3b93da12e9bd src/Pure/Admin/component_jsoup.scala
--- a/src/Pure/Admin/component_jsoup.scala	Mon Dec 16 12:55:39 2024 +0100
+++ b/src/Pure/Admin/component_jsoup.scala	Mon Dec 16 13:08:32 2024 +0100
@@ -11,7 +11,7 @@
   /* build jsoup */
 
   val default_download_url =
-    "https://repo1.maven.org/maven2/org/jsoup/jsoup/1.17.2/jsoup-1.17.2.jar"
+    "https://repo1.maven.org/maven2/org/jsoup/jsoup/1.18.3/jsoup-1.18.3.jar"
 
   def build_jsoup(
     download_url: String = default_download_url,
diff -r 26ff119fb140 -r 3b93da12e9bd src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Mon Dec 16 12:55:39 2024 +0100
+++ b/src/Pure/ROOT.scala	Mon Dec 16 13:08:32 2024 +0100
@@ -29,3 +29,4 @@
   def if_proper[A](x: Iterable[A], body: => String): String = Library.if_proper(x, body)
   def if_proper(b: Boolean, body: => String): String = Library.if_proper(b, body)
 }
+