author | wenzelm |
Sat, 13 Feb 2016 20:01:48 +0100 | |
changeset 62295 | 4f2fb9adfae5 |
parent 62281 | 707f9b182f4f |
child 62301 | 028e5b1ef9f9 |
permissions | -rw-r--r-- |
#main components for everyday use, without big impact on overall build time bash_process-1.1 csdp-6.x cvc4-1.5pre-3 e-1.8 Haskabelle-2015 isabelle_fonts-20160102 jdk-8u72 jedit_build-20151124 jfreechart-1.0.14-1 jortho-1.0-2 kodkodi-1.5.2 polyml-5.6-1 scala-2.11.7 spass-3.8ds xz-java-1.2-1 z3-4.4.0pre