Admin/components/main
author wenzelm
Wed Jun 24 21:31:29 2015 +0200 (2015-06-24)
changeset 60566 d9682058f7ee
parent 60290 88ccc0ae310c
child 60760 3444e0bf9261
permissions -rw-r--r--
updated to scala-2.11.7;
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@60566
    13
scala-2.11.7
wenzelm@48843
    14
spass-3.8ds
wenzelm@53576
    15
xz-java-1.2-1
blanchet@59959
    16
z3-4.4.0pre