Admin/components/main
changeset 74848 2336356d4180
parent 74842 29672359a371
child 74919 115a47a103aa
equal deleted inserted replaced
74847:743b114bdb41 74848:2336356d4180
    15 jortho-1.0-2
    15 jortho-1.0-2
    16 kodkodi-1.5.7
    16 kodkodi-1.5.7
    17 minisat-2.2.1-1
    17 minisat-2.2.1-1
    18 nunchaku-0.5
    18 nunchaku-0.5
    19 opam-2.0.7
    19 opam-2.0.7
    20 polyml-5.9-610a153b941d
    20 polyml-5.9
    21 postgresql-42.2.24
    21 postgresql-42.2.24
    22 scala-2.13.5
    22 scala-2.13.5
    23 smbc-0.4.1
    23 smbc-0.4.1
    24 spass-3.8ds-2
    24 spass-3.8ds-2
    25 sqlite-jdbc-3.36.0.3
    25 sqlite-jdbc-3.36.0.3