Admin/components/main
changeset 51431 9d3ba9775988
parent 51079 8cf38c6b33f8
child 51503 5247f5cd68fd
equal deleted inserted replaced
51430:e96447ea13c9 51431:9d3ba9775988
     6 jdk-7u13
     6 jdk-7u13
     7 jedit_build-20130104
     7 jedit_build-20130104
     8 jfreechart-1.0.14
     8 jfreechart-1.0.14
     9 kodkodi-1.5.2
     9 kodkodi-1.5.2
    10 polyml-5.5.0-3
    10 polyml-5.5.0-3
    11 scala-2.10.0
    11 scala-2.10.1
    12 spass-3.8ds
    12 spass-3.8ds
    13 z3-3.2
    13 z3-3.2