Admin/components/main
changeset 62705 b2e19991902a
parent 62575 590df5f4e531
child 62757 e5828ed9a576
     1.1 --- a/Admin/components/main	Thu Mar 24 14:55:43 2016 +0100
     1.2 +++ b/Admin/components/main	Thu Mar 24 15:59:19 2016 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4  jortho-1.0-2
     1.5  kodkodi-1.5.2
     1.6  polyml-5.6-1
     1.7 -scala-2.11.7
     1.8 +scala-2.11.8
     1.9  spass-3.8ds
    1.10  xz-java-1.2-1
    1.11  z3-4.4.0pre