Admin/components/main
changeset 54036 bc89d163409f
parent 53934 787242dbb49e
child 54371 52ed202464a5
     1.1 --- a/Admin/components/main	Wed Oct 02 17:10:01 2013 +0200
     1.2 +++ b/Admin/components/main	Wed Oct 02 19:27:12 2013 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  jfreechart-1.0.14-1
     1.5  kodkodi-1.5.2
     1.6  polyml-5.5.1
     1.7 -scala-2.10.2
     1.8 +scala-2.10.3
     1.9  spass-3.8ds
    1.10  z3-3.2
    1.11  xz-java-1.2-1