Admin/components/main
changeset 75109 38e5417910ab
parent 75076 23a97a547a9e
child 75110 b92b5a57521b
equal deleted inserted replaced
75107:15beb1ef5ad1 75109:38e5417910ab
    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
    17 minisat-2.2.1
    18 nunchaku-0.5
    18 nunchaku-0.5
    19 opam-2.0.7
    19 opam-2.0.7
    20 polyml-5.9-960de0cd0795
    20 polyml-5.9-5d4caa8f7148
    21 postgresql-42.2.24
    21 postgresql-42.2.24
    22 scala-2.13.7
    22 scala-2.13.7
    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