--- a/Admin/components/main Tue Jan 22 12:00:16 2019 +0000 +++ b/Admin/components/main Tue Jan 22 13:57:01 2019 +0100 @@ -12,7 +12,7 @@ kodkodi-1.5.2-1 nunchaku-0.5 opam-1.2.2 -polyml-5.7.1-8 +polyml-test-0a6ebca445fc postgresql-42.2.5 scala-2.12.8 smbc-0.4.1