author | wenzelm |
Sun, 30 Sep 2018 22:47:38 +0200 | |
changeset 69095 | 39b248fb20a2 |
parent 68735 | 2862b585a0db |
child 69098 | dabe59286c79 |
permissions | -rw-r--r-- |
#main components for everyday use, without big impact on overall build time bash_process-1.2.2 bib2xhtml-20171221 csdp-6.x cvc4-1.5-4 e-2.0-2 isabelle_fonts-20180113 jdk-8u181 jedit_build-20180504 jfreechart-1.5.0 jortho-1.0-2 kodkodi-1.5.2-1 nunchaku-0.5 polyml-5.7.1-8 postgresql-42.2.2 scala-2.12.7 smbc-0.4.1 ssh-java-20161009 spass-3.8ds-1 sqlite-jdbc-3.23.1 vampire-4.2.2 xz-java-1.8 z3-4.4.0pre-2