Admin/components/main
author wenzelm
Wed Mar 30 14:33:40 2016 +0200 (2016-03-30)
changeset 62757 e5828ed9a576
parent 62705 b2e19991902a
child 63214 7e8ef9ac3159
permissions -rw-r--r--
updated to Navigator 2.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@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@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