| changeset 61740 | d7e0315fe423 |
| parent 61597 | 53e32a9b66b8 |
| child 61746 | 3df1b6a5837c |
| 61737:b91b1ebfc8a0 | 61740:d7e0315fe423 |
|---|---|
8 jdk-8u66 |
8 jdk-8u66 |
9 jedit_build-20151023 |
9 jedit_build-20151023 |
10 jfreechart-1.0.14-1 |
10 jfreechart-1.0.14-1 |
11 jortho-1.0-2 |
11 jortho-1.0-2 |
12 kodkodi-1.5.2 |
12 kodkodi-1.5.2 |
13 polyml-5.5.3-20150916 |
13 polyml-5.6-20151123 |
14 scala-2.11.7 |
14 scala-2.11.7 |
15 spass-3.8ds |
15 spass-3.8ds |
16 xz-java-1.2-1 |
16 xz-java-1.2-1 |
17 z3-4.4.0pre |
17 z3-4.4.0pre |