Admin/components/main
author wenzelm
Thu Mar 24 15:59:19 2016 +0100 (2016-03-24)
changeset 62705 b2e19991902a
parent 62575 590df5f4e531
child 62757 e5828ed9a576
permissions -rw-r--r--
updated to scala-2.11.8;
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@62211
     8
jdk-8u72
wenzelm@61746
     9
jedit_build-20151124
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