Admin/components/main
author wenzelm
Sun Oct 02 13:26:57 2016 +0200 (2016-10-02)
changeset 63990 785908f6f40e
parent 63776 f1968429e339
child 64123 a967b5a07f92
permissions -rw-r--r--
updated to xz-java-1.5;
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@63733
     7
isabelle_fonts-20160830
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@63776
    16
sqlite-jdbc-3.8.11.2
wenzelm@63990
    17
xz-java-1.5
blanchet@59959
    18
z3-4.4.0pre