diff -r 743b114bdb41 -r 2336356d4180 Admin/components/main
--- 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