changeset 50309 | 38870ee59311 |
parent 50294 | dceb1daa185c |
child 50343 | 40d5ec9149d5 |
50308:08b55c5ce064 | 50309:38870ee59311 |
---|---|
1 #main components for everyday use, without big impact on overall build time |
1 #main components for everyday use, without big impact on overall build time |
2 cvc3-2.4.1 |
2 cvc3-2.4.1 |
3 e-1.6 |
3 e-1.6 |
4 exec_process-1.0.3 |
4 exec_process-1.0.3 |
5 jdk-7u9 |
5 jdk-7u9 |
6 jedit_build-20120903 |
6 jedit_build-20121201 |
7 kodkodi-1.5.2 |
7 kodkodi-1.5.2 |
8 polyml-5.5.0 |
8 polyml-5.5.0 |
9 scala-2.9.2 |
9 scala-2.9.2 |
10 spass-3.8ds |
10 spass-3.8ds |
11 z3-4.0 |
11 z3-4.0 |