--- a/Admin/components/main Wed Jul 27 11:08:15 2022 +0200
+++ b/Admin/components/main Wed Jul 27 12:28:53 2022 +0200
@@ -18,7 +18,7 @@
minisat-2.2.1-1
nunchaku-0.5
opam-2.0.7
-pdfjs-2.12.313
+pdfjs-2.14.305
polyml-test-15c840d48c9a
postgresql-42.2.24
scala-3.1.3