Admin/components/main
author wenzelm
Fri May 19 16:05:33 2017 +0200 (2017-05-19 ago)
changeset 65872 8f77f6735b51
parent 65329 4f3da52cec02
child 65873 300beacd9875
permissions -rw-r--r--
updated to xz-java-1.6;
wenzelm@48847
     1
#main components for everyday use, without big impact on overall build time
wenzelm@62575
     2
bash_process-1.2.1
wenzelm@58420
     3
csdp-6.x
blanchet@64417
     4
cvc4-1.5pre-4
blanchet@53014
     5
e-1.8
wenzelm@63735
     6
isabelle_fonts-20160830
wenzelm@64937
     7
jdk-8u121
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@64469
    12
nunchaku-0.3
wenzelm@65046
    13
polyml-5.6-1
wenzelm@65000
    14
postgresql-9.4.1212
wenzelm@64443
    15
scala-2.11.8
wenzelm@64123
    16
ssh-java-20161009
wenzelm@48843
    17
spass-3.8ds
wenzelm@63776
    18
sqlite-jdbc-3.8.11.2
wenzelm@65872
    19
xz-java-1.6
blanchet@59959
    20
z3-4.4.0pre