--- 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
--- 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
--- 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,
--- 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)
}
+