| changeset 60983 | ff4a67c65084 |
| parent 60760 | 3444e0bf9261 |
| child 60995 | 5176de8f90db |
| 60982:67e389f67073 | 60983:ff4a67c65084 |
|---|---|
7 jdk-8u51 |
7 jdk-8u51 |
8 jedit_build-20150228 |
8 jedit_build-20150228 |
9 jfreechart-1.0.14-1 |
9 jfreechart-1.0.14-1 |
10 jortho-1.0-2 |
10 jortho-1.0-2 |
11 kodkodi-1.5.2 |
11 kodkodi-1.5.2 |
12 polyml-5.5.2-3 |
12 polyml-5.5.3-20150820 |
13 scala-2.11.7 |
13 scala-2.11.7 |
14 spass-3.8ds |
14 spass-3.8ds |
15 xz-java-1.2-1 |
15 xz-java-1.2-1 |
16 z3-4.4.0pre |
16 z3-4.4.0pre |