| changeset 74722 | b92b5a57521b |
| parent 74721 | 38e5417910ab |
| child 74734 | f345da8defff |
| 74721:38e5417910ab | 74722:b92b5a57521b |
|---|---|
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-5d4caa8f7148 |
20 polyml-5.9-5d4caa8f7148 |
21 postgresql-42.2.24 |
21 postgresql-42.2.24 |
22 scala-2.13.7 |
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 |
26 ssh-java-20190323 |
26 ssh-java-20190323 |
27 stack-2.7.3 |
27 stack-2.7.3 |