#main components for everyday use, without big impact on overall build timecsdp-6.xcvc4-1.5pre-2e-1.8exec_process-1.0.3Haskabelle-2015jdk-8u51jedit_build-20150228jfreechart-1.0.14-1jortho-1.0-2kodkodi-1.5.2polyml-5.5.3-20150820scala-2.11.7spass-3.8dsxz-java-1.2-1z3-4.4.0pre