--- a/Admin/components/components.sha1 Sat Sep 13 19:51:53 2025 +0200
+++ b/Admin/components/components.sha1 Sat Sep 13 20:36:58 2025 +0200
@@ -412,6 +412,7 @@
108e947d17e9aa6170872614492d8f647802f483 opam-2.1.0.tar.gz
f8d0218371457eabe2b4214427d9570de92ed861 pdfjs-2.12.313.tar.gz
aa7fc4a3d2cbd6c8744ddfeefd863828ea602bcd pdfjs-2.14.305.tar.gz
+340da0debd3ced9b5304ff9fdc74c1fc9ad5f3ce pdfjs-5.4.149.tar.gz
1b01278595b6dbd5c867dc55407b1ac705bc43b8 polyml-219e0a248f70.tar.gz
1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb polyml-5.4.1.tar.gz
a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56 polyml-5.5.0-1.tar.gz
--- a/Admin/components/main Sat Sep 13 19:51:53 2025 +0200
+++ b/Admin/components/main Sat Sep 13 20:36:58 2025 +0200
@@ -27,7 +27,7 @@
mlton-20241230-1
nunchaku-0.5
opam-2.0.7
-pdfjs-2.14.305
+pdfjs-5.4.149
polyml-5.9.1-1
postgresql-42.7.7
prismjs-1.29.0
--- a/src/Pure/Admin/component_pdfjs.scala Sat Sep 13 19:51:53 2025 +0200
+++ b/src/Pure/Admin/component_pdfjs.scala Sat Sep 13 20:36:58 2025 +0200
@@ -17,7 +17,7 @@
/* build pdfjs component */
val default_url = "https://github.com/mozilla/pdf.js/releases/download"
- val default_version = "2.14.305"
+ val default_version = "5.4.149"
def build_pdfjs(
base_url: String = default_url,