Admin/components/main
changeset 73910 c678e58cf999
parent 73906 f627ffab387b
child 73911 a8c5ee444991
equal deleted inserted replaced
73909:1d0d9772fff0 73910:c678e58cf999
    16 kodkodi-1.5.6-1
    16 kodkodi-1.5.6-1
    17 nunchaku-0.5
    17 nunchaku-0.5
    18 opam-2.0.7
    18 opam-2.0.7
    19 polyml-5.8.2
    19 polyml-5.8.2
    20 postgresql-42.2.18
    20 postgresql-42.2.18
    21 scala-2.13.6
    21 scala-2.13.5
    22 smbc-0.4.1
    22 smbc-0.4.1
    23 spass-3.8ds-2
    23 spass-3.8ds-2
    24 sqlite-jdbc-3.34.0
    24 sqlite-jdbc-3.34.0
    25 ssh-java-20190323
    25 ssh-java-20190323
    26 stack-2.5.1
    26 stack-2.5.1