# 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