# HG changeset patch
# User wenzelm
# Date 1549115471 -3600
# Node ID dde776d1defa4cb825f2b0d47cc9f14c4ec6e226
# Parent  76f2d492627e586e9a429ef46d7aaf07c76d91e6
back to polyml-test-1b2dcf8f5202 -- more stable;

diff -r 76f2d492627e -r dde776d1defa Admin/components/main
--- a/Admin/components/main	Fri Feb 01 15:45:59 2019 +0100
+++ b/Admin/components/main	Sat Feb 02 14:51:11 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-1.2.2
-polyml-test-b68438d33c69
+polyml-test-1b2dcf8f5202
 postgresql-42.2.5
 scala-2.12.8
 smbc-0.4.1