| changeset 71590 | d1c2ff90c29a |
| parent 71584 | 73d1dc57215f |
| child 71932 | 65fd0f032a75 |
| 71589:5d1370b32975 | 71590:d1c2ff90c29a |
|---|---|
12 kodkodi-1.5.2-1 |
12 kodkodi-1.5.2-1 |
13 nunchaku-0.5 |
13 nunchaku-0.5 |
14 opam-2.0.6 |
14 opam-2.0.6 |
15 polyml-5.8.1-20200228 |
15 polyml-5.8.1-20200228 |
16 postgresql-42.2.9 |
16 postgresql-42.2.9 |
17 scala-2.12.10 |
17 scala-2.12.11 |
18 smbc-0.4.1 |
18 smbc-0.4.1 |
19 spass-3.8ds-1 |
19 spass-3.8ds-1 |
20 sqlite-jdbc-3.30.1 |
20 sqlite-jdbc-3.30.1 |
21 ssh-java-20190323 |
21 ssh-java-20190323 |
22 stack-2.1.3 |
22 stack-2.1.3 |