| author | wenzelm |
| Wed, 21 Oct 2015 18:00:12 +0200 | |
| changeset 61500 | 56a167b31a7f |
| parent 61181 | b6b5e41d261b |
| child 61510 | 9f7453fb022f |
| permissions | -rw-r--r-- |
#main components for everyday use, without big impact on overall build time csdp-6.x cvc4-1.5pre-2 e-1.8 exec_process-1.0.3 Haskabelle-2015 isabelle_fonts-20151021 jdk-8u60 jedit_build-20150228 jfreechart-1.0.14-1 jortho-1.0-2 kodkodi-1.5.2 polyml-5.5.3-20150916 scala-2.11.7 spass-3.8ds xz-java-1.2-1 z3-4.4.0pre