Admin/components/main
author blanchet
Mon Nov 26 16:01:04 2012 +0100 (2012-11-26 ago)
changeset 50230 79773c44e57b
parent 49552 30fe027a18bd
child 50293 4eea6572896e
permissions -rw-r--r--
updated two components
wenzelm@48847
     1
#main components for everyday use, without big impact on overall build time
wenzelm@48843
     2
cvc3-2.4.1
blanchet@50230
     3
e-1.6
wenzelm@49552
     4
exec_process-1.0.2
wenzelm@48843
     5
jdk-7u6
wenzelm@49097
     6
jedit_build-20120903
blanchet@50230
     7
kodkodi-1.5.2
wenzelm@49401
     8
polyml-5.5.0
wenzelm@48843
     9
scala-2.9.2
wenzelm@48843
    10
spass-3.8ds
wenzelm@48843
    11
z3-4.0