Admin/components/main
changeset 65872 8f77f6735b51
parent 65329 4f3da52cec02
child 65873 300beacd9875
equal deleted inserted replaced
65871:80c1c1f53e72 65872:8f77f6735b51
    14 postgresql-9.4.1212
    14 postgresql-9.4.1212
    15 scala-2.11.8
    15 scala-2.11.8
    16 ssh-java-20161009
    16 ssh-java-20161009
    17 spass-3.8ds
    17 spass-3.8ds
    18 sqlite-jdbc-3.8.11.2
    18 sqlite-jdbc-3.8.11.2
    19 xz-java-1.5
    19 xz-java-1.6
    20 z3-4.4.0pre
    20 z3-4.4.0pre