Admin/components/main
changeset 62281 707f9b182f4f
parent 62252 6a87f7b15b69
child 62295 4f2fb9adfae5
equal deleted inserted replaced
62280:d9cfe5c3815d 62281:707f9b182f4f
     8 jdk-8u72
     8 jdk-8u72
     9 jedit_build-20151124
     9 jedit_build-20151124
    10 jfreechart-1.0.14-1
    10 jfreechart-1.0.14-1
    11 jortho-1.0-2
    11 jortho-1.0-2
    12 kodkodi-1.5.2
    12 kodkodi-1.5.2
    13 polyml-5.6
    13 polyml-5.6-1
    14 scala-2.11.7
    14 scala-2.11.7
    15 spass-3.8ds
    15 spass-3.8ds
    16 xz-java-1.2-1
    16 xz-java-1.2-1
    17 z3-4.4.0pre
    17 z3-4.4.0pre