# HG changeset patch
# User wenzelm
# Date 1549278475 -3600
# Node ID a5732629cc4657aaa25171e3d541618bf6ed9cdc
# Parent  9e326f6f8a24d8b62f4f119144740ae4d20f2460
back to stable polyml-5.7.1-8 for now;

diff -r 9e326f6f8a24 -r a5732629cc46 Admin/components/main
--- a/Admin/components/main	Mon Feb 04 12:16:03 2019 +0100
+++ b/Admin/components/main	Mon Feb 04 12:07:55 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-1.2.2
-polyml-test-1b2dcf8f5202
+polyml-5.7.1-8
 postgresql-42.2.5
 scala-2.12.8
 smbc-0.4.1