| changeset 56274 | 71eab6907eee |
| parent 56110 | 9c1a6dff3e86 |
| child 56421 | 1ffd7eaa778b |
| 56271:61b1e3d88e91 | 56274:71eab6907eee |
|---|---|
6 jdk-7u40 |
6 jdk-7u40 |
7 jedit_build-20131106 |
7 jedit_build-20131106 |
8 jfreechart-1.0.14-1 |
8 jfreechart-1.0.14-1 |
9 kodkodi-1.5.2 |
9 kodkodi-1.5.2 |
10 polyml-5.5.1-1 |
10 polyml-5.5.1-1 |
11 scala-2.10.3 |
11 scala-2.10.4 |
12 spass-3.8ds |
12 spass-3.8ds |
13 z3-3.2-1 |
13 z3-3.2-1 |
14 z3-4.3.0 |
14 z3-4.3.0 |
15 xz-java-1.2-1 |
15 xz-java-1.2-1 |
16 ProofGeneral-4.2-1 |
16 ProofGeneral-4.2-1 |