equal
deleted
inserted
replaced
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.8 |
3 e-1.8 |
4 exec_process-1.0.3 |
4 exec_process-1.0.3 |
5 Haskabelle-2014 |
5 Haskabelle-2014 |
6 jdk-7u65 |
6 jdk-7u67 |
7 jedit_build-20140722 |
7 jedit_build-20140722 |
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.2-1 |
11 polyml-5.5.2-1 |