--- a/Admin/components/main Fri Nov 26 13:07:15 2021 +0100
+++ b/Admin/components/main Fri Nov 26 13:36:45 2021 +0100
@@ -17,7 +17,7 @@
minisat-2.2.1-1
nunchaku-0.5
opam-2.0.7
-polyml-5.9-610a153b941d
+polyml-5.9
postgresql-42.2.24
scala-2.13.5
smbc-0.4.1