Admin/components/main
author wenzelm
Mon Sep 22 17:07:18 2014 +0200 (2014-09-22)
changeset 58420 00bf84d3f526
parent 57995 08aa1e2cbec0
child 58702 39866de9d988
permissions -rw-r--r--
added csdp-6.x for proof method (sos csdp);
wenzelm@48847
     1
#main components for everyday use, without big impact on overall build time
wenzelm@48843
     2
cvc3-2.4.1
wenzelm@58420
     3
csdp-6.x
blanchet@53014
     4
e-1.8
wenzelm@50293
     5
exec_process-1.0.3
noschinl@57852
     6
Haskabelle-2014
wenzelm@57977
     7
jdk-7u67
wenzelm@57608
     8
jedit_build-20140722
wenzelm@53576
     9
jfreechart-1.0.14-1
wenzelm@56596
    10
jortho-1.0-2
blanchet@50230
    11
kodkodi-1.5.2
wenzelm@57689
    12
polyml-5.5.2-1
wenzelm@57648
    13
scala-2.11.2
wenzelm@48843
    14
spass-3.8ds
blanchet@57167
    15
z3-4.3.2pre-1
wenzelm@53576
    16
xz-java-1.2-1