--- 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
--- 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
--- 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,