author | wenzelm |
Tue, 15 Dec 2015 16:01:57 +0100 | |
changeset 61851 | ccf2df82b2d3 |
parent 61795 | 16901b0392c6 |
child 61924 | 55b3d21ab5e5 |
permissions | -rw-r--r-- |
#main components for everyday use, without big impact on overall build time csdp-6.x cvc4-1.5pre-3 e-1.8 exec_process-1.0.3 Haskabelle-2015 isabelle_fonts-20151107 jdk-8u66 jedit_build-20151124 jfreechart-1.0.14-1 jortho-1.0-2 kodkodi-1.5.2 polyml-5.6-20151206 scala-2.11.7 spass-3.8ds xz-java-1.2-1 z3-4.4.0pre