--- a/Admin/components/main Mon Feb 03 13:12:44 2025 +0100
+++ b/Admin/components/main Mon Feb 03 14:15:37 2025 +0100
@@ -23,7 +23,7 @@
lipics-3.1.3
llncs-2.25
minisat-2.2.1-1
-mlton-20210117-3
+mlton-20241230-1
nunchaku-0.5
opam-2.0.7
pdfjs-2.14.305