| changeset 56660 | 5d629da46f04 |
| parent 56607 | ab7c656215f2 |
| child 56726 | 9fba10c97aef |
| 56659:f3d34969a29e | 56660:5d629da46f04 |
|---|---|
7 jedit_build-20140405 |
7 jedit_build-20140405 |
8 jfreechart-1.0.14-1 |
8 jfreechart-1.0.14-1 |
9 jortho-1.0-2 |
9 jortho-1.0-2 |
10 kodkodi-1.5.2 |
10 kodkodi-1.5.2 |
11 polyml-5.5.1-1 |
11 polyml-5.5.1-1 |
12 scala-2.10.4 |
12 scala-2.11.0 |
13 spass-3.8ds |
13 spass-3.8ds |
14 z3-3.2-1 |
14 z3-3.2-1 |
15 z3-4.3.0 |
15 z3-4.3.0 |
16 xz-java-1.2-1 |
16 xz-java-1.2-1 |
17 ProofGeneral-4.2-1 |
17 ProofGeneral-4.2-1 |