| changeset 75109 | 38e5417910ab |
| parent 75076 | 23a97a547a9e |
| child 75110 | b92b5a57521b |
| 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 |