Admin/components/main
author blanchet
Tue Dec 04 15:02:45 2012 +0100 (2012-12-04)
changeset 50343 40d5ec9149d5
parent 50309 38870ee59311
child 50432 f9d70f49d370
permissions -rw-r--r--
go back to Z3 3.2
     1 #main components for everyday use, without big impact on overall build time
     2 cvc3-2.4.1
     3 e-1.6
     4 exec_process-1.0.3
     5 jdk-7u9
     6 jedit_build-20121201
     7 kodkodi-1.5.2
     8 polyml-5.5.0
     9 scala-2.9.2
    10 spass-3.8ds
    11 z3-3.2