Admin/components/main
author Lars Noschinski <noschinl@in.tum.de>
Mon May 18 16:59:09 2015 +0200 (2015-05-18)
changeset 60290 88ccc0ae310c
parent 60280 05fe9bdc4f8f
child 60566 d9682058f7ee
permissions -rw-r--r--
add Haskabelle-2015 component
wenzelm@48847
     1
#main components for everyday use, without big impact on overall build time
wenzelm@58420
     2
csdp-6.x
blanchet@60280
     3
cvc4-1.5pre-2
blanchet@53014
     4
e-1.8
wenzelm@50293
     5
exec_process-1.0.3
noschinl@60290
     6
Haskabelle-2015
wenzelm@60083
     7
jdk-7u80
wenzelm@59571
     8
jedit_build-20150228
wenzelm@53576
     9
jfreechart-1.0.14-1
wenzelm@56596
    10
jortho-1.0-2
blanchet@50230
    11
kodkodi-1.5.2
wenzelm@60188
    12
polyml-5.5.2-3
wenzelm@59622
    13
scala-2.11.6
wenzelm@48843
    14
spass-3.8ds
wenzelm@53576
    15
xz-java-1.2-1
blanchet@59959
    16
z3-4.4.0pre