| author | wenzelm |
| Tue, 13 Feb 2018 14:24:50 +0100 | |
| changeset 67610 | 4939494ed791 |
| parent 67602 | fefa5148fe76 |
| child 67953 | f646d1c826a1 |
| 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-3 e-2.0-1 isabelle_fonts-20180113 jdk-8u162 jedit_build-20170319 jfreechart-1.0.14-1 jortho-1.0-2 kodkodi-1.5.2 nunchaku-0.5 polyml-5.7.1-5 postgresql-42.1.4 scala-2.12.4 smbc-0.4.1 ssh-java-20161009 spass-3.8ds sqlite-jdbc-3.20.0 verit-2016post xz-java-1.6 z3-4.4.0pre-1