| changeset 65897 | 94b0da1b242e |
| parent 65890 | 1b004f5974af |
| child 66191 | d91108ba9474 |
| 65896:18f5014331a1 | 65897:94b0da1b242e |
|---|---|
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.11.8 |
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 |