# HG changeset patch
# User wenzelm
# Date 1548161821 -3600
# Node ID b7e708ba77866e3ad609c4d38e8d1c71d5a9cb83
# Parent  dc85b5b3a532bbe2702a48c3ce81ba1befbb5426# Parent  81ca77cb7c8c2409bc42e286aea2a596cdf3048d
merged

diff -r dc85b5b3a532 -r b7e708ba7786 Admin/components/main
--- 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