Admin/components/main
author wenzelm
Tue Nov 07 10:22:10 2017 +0100 (19 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;
wenzelm@48847
     1
#main components for everyday use, without big impact on overall build time
wenzelm@66691
     2
bash_process-1.2.2
wenzelm@58420
     3
csdp-6.x
wenzelm@66686
     4
cvc4-1.5-3
blanchet@66685
     5
e-2.0-1
wenzelm@63733
     6
isabelle_fonts-20160830
wenzelm@66906
     7
jdk-8u152
wenzelm@65329
     8
jedit_build-20170319
wenzelm@53576
     9
jfreechart-1.0.14-1
wenzelm@56596
    10
jortho-1.0-2
blanchet@50230
    11
kodkodi-1.5.2
blanchet@66636
    12
nunchaku-0.5
wenzelm@67017
    13
polyml-test-fb4f42af00fa
wenzelm@66470
    14
postgresql-42.1.4
wenzelm@67010
    15
scala-2.12.4
blanchet@66636
    16
smbc-0.4.1
wenzelm@64123
    17
ssh-java-20161009
wenzelm@48843
    18
spass-3.8ds
wenzelm@66471
    19
sqlite-jdbc-3.20.0
blanchet@66734
    20
verit-2016post
wenzelm@65872
    21
xz-java-1.6
wenzelm@66774
    22
z3-4.4.0pre-1