| author | wenzelm |
| Mon, 14 Aug 2017 14:30:44 +0200 | |
| changeset 66413 | 98afae4308f5 |
| parent 66362 | 9b70e98490da |
| child 66415 | 96ad7d5ff613 |
| permissions | -rw-r--r-- |
#main components for everyday use, without big impact on overall build time bash_process-1.2.1 csdp-6.x cvc4-1.5 e-2.0 isabelle_fonts-20160830 jdk-8u144 jedit_build-20170319 jfreechart-1.0.14-1 jortho-1.0-2 kodkodi-1.5.2 nunchaku-0.3 polyml-5.6-1 postgresql-42.1.1 scala-2.12.2 ssh-java-20161009 spass-3.8ds sqlite-jdbc-3.18.0-1 xz-java-1.6 z3-4.4.0pre