Admin/components/main
author wenzelm
Tue Nov 07 10:22:10 2017 +0100 (17 months ago)
changeset 67017 ce6454669360
parent 67010 cf56dd6f3ad1
child 67099 3345d53e7c58
permissions -rw-r--r--
more recent polyml-test version;
afford more heap by default: all platforms are now 64bit and presumably have sufficient memory;
     1 #main components for everyday use, without big impact on overall build time
     2 bash_process-1.2.2
     3 csdp-6.x
     4 cvc4-1.5-3
     5 e-2.0-1
     6 isabelle_fonts-20160830
     7 jdk-8u152
     8 jedit_build-20170319
     9 jfreechart-1.0.14-1
    10 jortho-1.0-2
    11 kodkodi-1.5.2
    12 nunchaku-0.5
    13 polyml-test-fb4f42af00fa
    14 postgresql-42.1.4
    15 scala-2.12.4
    16 smbc-0.4.1
    17 ssh-java-20161009
    18 spass-3.8ds
    19 sqlite-jdbc-3.20.0
    20 verit-2016post
    21 xz-java-1.6
    22 z3-4.4.0pre-1