| author | wenzelm |
| Fri, 29 Jun 2018 19:53:15 +0200 | |
| changeset 68544 | 8285fa53bfac |
| parent 68473 | 1b8457cc4de8 |
| child 68564 | 3ee6947bfb34 |
| 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-8u172 jedit_build-20180504 jfreechart-1.5.0 jortho-1.0-2 kodkodi-1.5.2 nunchaku-0.5 polyml-5.7.1-6 postgresql-42.2.2 scala-2.12.6 smbc-0.4.1 ssh-java-20161009 spass-3.8ds-1 sqlite-jdbc-3.23.1 verit-2016post xz-java-1.8 z3-4.4.0pre-2