changeset 50921 | 287c79b9550c |
parent 50890 | 097e38daa03a |
child 50926 | c7f910a596ad |
50920:1d5e1ac6693c | 50921:287c79b9550c |
---|---|
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 Haskabelle-2013 |
|
5 jdk-7u11 |
6 jdk-7u11 |
6 jedit_build-20130104 |
7 jedit_build-20130104 |
7 jfreechart-1.0.14 |
8 jfreechart-1.0.14 |
8 kodkodi-1.5.2 |
9 kodkodi-1.5.2 |
9 polyml-5.5.0 |
10 polyml-5.5.0 |