--- a/Admin/components/components.sha1 Fri Jan 24 17:53:06 2025 +0000
+++ b/Admin/components/components.sha1 Fri Jan 24 17:53:17 2025 +0000
@@ -210,6 +210,7 @@
94f27b086cf6a2fb305cc961fe2932d8ea3634af jdk-21.0.2.tar.gz
c4e05634d371a305c982b6ce5478df42fd1ad9c5 jdk-21.0.3.tar.gz
8414b3c9f4fe1f9f5a1590f3abd33f0a017e35b9 jdk-21.0.5.tar.gz
+1c137d69666b88d7650de7560b97deada743be84 jdk-21.0.6.tar.gz
8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
@@ -458,6 +459,7 @@
65bf0d99f4e80f5802c573106327c337fe608fe7 postgresql-42.7.1.tar.gz
459c2b8da13910ba6c89ad91b9d26f4a63615117 postgresql-42.7.3.tar.gz
6393156f24d911c8f9f242612aec2563514ceb59 postgresql-42.7.4.tar.gz
+ac7b66661335d97bf714a1721febacc11396b837 postgresql-42.7.5.tar.gz
f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
3fc5e7f759e7220b9e3fc5bac296e312e34a60ad prismjs-1.29.0.tar.gz
f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz
@@ -513,6 +515,7 @@
43b5afbcad575ab6817d2289756ca22fd2ef43a9 spass-3.8ds.tar.gz
24a1397d06c79361d7507d59cbfe39962ce25148 sqlite-3.45.2.0.tar.gz
1a74d0866ba56aa086686e17965d636df97e4e96 sqlite-3.47.1.0.tar.gz
+7834002b29aff9d381617151f138bcd8df828fa9 sqlite-3.48.0.0.tar.gz
b016a785f1f78855c00d351ff598355c3b87450f sqlite-jdbc-3.18.0-1.tar.gz
b85b5bc071a59ef2a8326ceb1617d5a9a5be41cf sqlite-jdbc-3.18.0.tar.gz
e56117a67ab01fb24c7fc054ede3160cefdac5f8 sqlite-jdbc-3.20.0.tar.gz
--- a/Admin/components/main Fri Jan 24 17:53:06 2025 +0000
+++ b/Admin/components/main Fri Jan 24 17:53:17 2025 +0000
@@ -14,7 +14,7 @@
isabelle_fonts-20241227
isabelle_setup-20240327
javamail-20250122
-jdk-21.0.5
+jdk-21.0.6
jedit-20241115
jfreechart-1.5.3
jortho-1.0-2
@@ -28,14 +28,14 @@
opam-2.0.7
pdfjs-2.14.305
polyml-5.9.1
-postgresql-42.7.4
+postgresql-42.7.5
prismjs-1.29.0
rsync-3.2.7-1
scala-3.3.4
smbc-0.4.1
solr-9.7.0-1
spass-3.8ds-2
-sqlite-3.47.1.0
+sqlite-3.48.0.0
stack-2.15.5
vampire-4.8
verit-2021.06.2-rmx-1
--- a/src/Pure/Admin/component_jdk.scala Fri Jan 24 17:53:06 2025 +0000
+++ b/src/Pure/Admin/component_jdk.scala Fri Jan 24 17:53:17 2025 +0000
@@ -33,8 +33,8 @@
/* build jdk */
val default_base_url = "https://cdn.azul.com/zulu/bin"
- val default_jdk_version = "21.0.5"
- val default_zulu_version = "21.38.21-ca"
+ val default_jdk_version = "21.0.6"
+ val default_zulu_version = "21.40.17-ca"
def build_jdk(
target_dir: Path = Path.current,
--- a/src/Pure/Admin/component_postgresql.scala Fri Jan 24 17:53:06 2025 +0000
+++ b/src/Pure/Admin/component_postgresql.scala Fri Jan 24 17:53:17 2025 +0000
@@ -13,7 +13,7 @@
val notable_urls =
List("https://jdbc.postgresql.org", "https://jdbc.postgresql.org/download")
- val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.4.jar"
+ val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.5.jar"
/* build postgresql */
--- a/src/Pure/Admin/component_sqlite.scala Fri Jan 24 17:53:06 2025 +0000
+++ b/src/Pure/Admin/component_sqlite.scala Fri Jan 24 17:53:17 2025 +0000
@@ -11,7 +11,7 @@
/* build sqlite */
val default_main_url =
- "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.47.1.0/sqlite-jdbc-3.47.1.0.jar"
+ "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.48.0.0/sqlite-jdbc-3.48.0.0.jar"
val default_logger_url =
"https://repo1.maven.org/maven2/org/slf4j/slf4j-api/2.0.16/slf4j-api-2.0.16.jar"
--- a/src/Pure/ROOT.ML Fri Jan 24 17:53:06 2025 +0000
+++ b/src/Pure/ROOT.ML Fri Jan 24 17:53:17 2025 +0000
@@ -1,6 +1,6 @@
(* Title: Pure/ROOT.ML
Author: Makarius
- UUID: e075658d-0c3c-4076-892c-37ce2c40df8e
+ UUID: 3d6bbaf8-645c-4431-ba30-9b864c20b009
Main entry point for the Isabelle/Pure bootstrap process.
--- a/src/Pure/ROOT.scala Fri Jan 24 17:53:06 2025 +0000
+++ b/src/Pure/ROOT.scala Fri Jan 24 17:53:17 2025 +0000
@@ -1,6 +1,6 @@
/* Title: Pure/ROOT.scala
Author: Makarius
- UUID: b5c84e7e-c43b-4cf5-9644-a1f387b61ab4
+ UUID: 3d6bbaf8-645c-4431-ba30-9b864c20b009
Root of isabelle package.
*/