back to polyml-test-1b2dcf8f5202 -- more stable;
authorwenzelm
Sat Feb 02 14:51:11 2019 +0100 (3 months ago)
changeset 69783dde776d1defa
parent 69782 76f2d492627e
child 69784 24bbc4e30e5b
back to polyml-test-1b2dcf8f5202 -- more stable;
Admin/components/main
     1.1 --- a/Admin/components/main	Fri Feb 01 15:45:59 2019 +0100
     1.2 +++ b/Admin/components/main	Sat Feb 02 14:51:11 2019 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  kodkodi-1.5.2-1
     1.5  nunchaku-0.5
     1.6  opam-1.2.2
     1.7 -polyml-test-b68438d33c69
     1.8 +polyml-test-1b2dcf8f5202
     1.9  postgresql-42.2.5
    1.10  scala-2.12.8
    1.11  smbc-0.4.1