1#main components for everyday use, without big impact on overall build time 2bash_process-1.2.2 3bib2xhtml-20171221 4csdp-6.x 5cvc4-1.5-4 6e-2.0-2 7isabelle_fonts-20180113 8jdk-8u181 9jedit_build-20180504 10jfreechart-1.5.0 11jortho-1.0-2 12kodkodi-1.5.2-1 13nunchaku-0.5 14polyml-5.7.1-8 15postgresql-42.2.2 16scala-2.12.6 17smbc-0.4.1 18ssh-java-20161009 19spass-3.8ds-1 20sqlite-jdbc-3.23.1 21vampire-4.2.2 22xz-java-1.8 23z3-4.4.0pre-2 24