changeset 60123 | d990db067a3d |
parent 60083 | 6d6d652ee029 |
child 60188 | b8b7006a64ef |
60122:eb08fefd5c05 | 60123:d990db067a3d |
---|---|
7 jdk-7u80 |
7 jdk-7u80 |
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-1 |
12 polyml-5.5.2-2 |
13 scala-2.11.6 |
13 scala-2.11.6 |
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 |