#main components for everyday use, without big impact on overall build time cvc3-2.4.1 e-1.8 exec_process-1.0.3 Haskabelle-2013 jdk-7u40 jedit_build-20131106 jfreechart-1.0.14-1 kodkodi-1.5.2 polyml-5.5.1-1 scala-2.10.3 spass-3.8ds z3-3.2 xz-java-1.2-1