Admin/components/main
changeset 68675 4535a45182d5
parent 68564 3ee6947bfb34
child 68678 daf21cb6ebc1
equal deleted inserted replaced
68672:9247996782c9 68675:4535a45182d5
     9 jedit_build-20180504
     9 jedit_build-20180504
    10 jfreechart-1.5.0
    10 jfreechart-1.5.0
    11 jortho-1.0-2
    11 jortho-1.0-2
    12 kodkodi-1.5.2
    12 kodkodi-1.5.2
    13 nunchaku-0.5
    13 nunchaku-0.5
    14 polyml-5.7.1-6
    14 polyml-5.7.1-7
    15 postgresql-42.2.2
    15 postgresql-42.2.2
    16 scala-2.12.6
    16 scala-2.12.6
    17 smbc-0.4.1
    17 smbc-0.4.1
    18 ssh-java-20161009
    18 ssh-java-20161009
    19 spass-3.8ds-1
    19 spass-3.8ds-1