Admin/components/main
author wenzelm
Wed Jul 27 10:24:50 2016 +0200 (2016-07-27)
changeset 63557 e506baad44fa
parent 63214 7e8ef9ac3159
child 63677 be8b557ec73e
permissions -rw-r--r--
updated to jdk-8u102;
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@61533
     4
cvc4-1.5pre-3
blanchet@53014
     5
e-1.8
noschinl@60290
     6
Haskabelle-2015
wenzelm@62440
     7
isabelle_fonts-20160227
wenzelm@63557
     8
jdk-8u102
wenzelm@62757
     9
jedit_build-20160330
wenzelm@53576
    10
jfreechart-1.0.14-1
wenzelm@56596
    11
jortho-1.0-2
blanchet@50230
    12
kodkodi-1.5.2
wenzelm@62281
    13
polyml-5.6-1
wenzelm@62705
    14
scala-2.11.8
wenzelm@48843
    15
spass-3.8ds
wenzelm@53576
    16
xz-java-1.2-1
blanchet@59959
    17
z3-4.4.0pre