| author | wenzelm |
| Fri, 12 Aug 2016 16:49:29 +0200 | |
| changeset 63677 | be8b557ec73e |
| parent 63557 | e506baad44fa |
| child 63683 | 87c6158f4ef4 |
| 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.5pre-3 e-1.8 Haskabelle-2015 isabelle_fonts-20160812 jdk-8u102 jedit_build-20160330 jfreechart-1.0.14-1 jortho-1.0-2 kodkodi-1.5.2 polyml-5.6-1 scala-2.11.8 spass-3.8ds xz-java-1.2-1 z3-4.4.0pre