# HG changeset patch
# User wenzelm
# Date 1597148483 -7200
# Node ID d756ff4bb3a3ce3ebc3ba8525a371f69672e5cf8
# Parent  284d6c06cbfb448d3cb300f4f8323d7f5231c151
back to polyml-5.8.1 due to ML compiler crash in HOL-Codegenerator_Test;

diff -r 284d6c06cbfb -r d756ff4bb3a3 Admin/components/main
--- a/Admin/components/main	Tue Aug 11 13:15:58 2020 +0200
+++ b/Admin/components/main	Tue Aug 11 14:21:23 2020 +0200
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-2.0.6
-polyml-test-159dc81efc3b
+polyml-5.8.1
 postgresql-42.2.9
 scala-2.12.11
 smbc-0.4.1