Admin/components/main
changeset 51043 bf5f6affa87d
parent 50928 bf254bd30833
child 51052 3d67739cf626
     1.1 --- a/Admin/components/main	Mon Jan 21 16:33:54 2013 +0100
     1.2 +++ b/Admin/components/main	Mon Jan 21 16:50:43 2013 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  jedit_build-20130104
     1.5  jfreechart-1.0.14
     1.6  kodkodi-1.5.2
     1.7 -polyml-5.5.0
     1.8 +polyml-5.5.0-1
     1.9  scala-2.10.0
    1.10  spass-3.8ds
    1.11  z3-3.2