Admin/components/main
changeset 69816 ce4842d2d150
parent 69797 7e5a7a11d5d1
child 69822 8c587dd44f51
     1.1 --- a/Admin/components/main	Fri Feb 15 18:24:22 2019 +0000
     1.2 +++ b/Admin/components/main	Sun Feb 17 19:31:04 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-5.7.1-8
     1.8 +polyml-test-8fda4fd22441
     1.9  postgresql-42.2.5
    1.10  scala-2.12.8
    1.11  smbc-0.4.1