Admin/components/main
changeset 67590 4fb9cbe10f3e
parent 67585 9eb04971c02c
child 67602 fefa5148fe76
     1.1 --- a/Admin/components/main	Sat Feb 10 12:20:18 2018 +0100
     1.2 +++ b/Admin/components/main	Sat Feb 10 12:28:36 2018 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4  jortho-1.0-2
     1.5  kodkodi-1.5.2
     1.6  nunchaku-0.5
     1.7 -polyml-5.7.1-1
     1.8 +polyml-5.7.1-2
     1.9  postgresql-42.1.4
    1.10  scala-2.12.4
    1.11  smbc-0.4.1