| changeset 66415 | 96ad7d5ff613 |
| parent 66413 | 98afae4308f5 |
| child 66470 | 33aa9abd71cb |
| 66414:a8939d090014 | 66415:96ad7d5ff613 |
|---|---|
10 jortho-1.0-2 |
10 jortho-1.0-2 |
11 kodkodi-1.5.2 |
11 kodkodi-1.5.2 |
12 nunchaku-0.3 |
12 nunchaku-0.3 |
13 polyml-5.6-1 |
13 polyml-5.6-1 |
14 postgresql-42.1.1 |
14 postgresql-42.1.1 |
15 scala-2.12.2 |
15 scala-2.12.3 |
16 ssh-java-20161009 |
16 ssh-java-20161009 |
17 spass-3.8ds |
17 spass-3.8ds |
18 sqlite-jdbc-3.18.0-1 |
18 sqlite-jdbc-3.18.0-1 |
19 xz-java-1.6 |
19 xz-java-1.6 |
20 z3-4.4.0pre |
20 z3-4.4.0pre |