Admin/components/main
changeset 49552 30fe027a18bd
parent 49447 bec1add86e79
child 50230 79773c44e57b
equal deleted inserted replaced
49551:9b12fcd0a889 49552:30fe027a18bd
     1 #main components for everyday use, without big impact on overall build time
     1 #main components for everyday use, without big impact on overall build time
     2 cvc3-2.4.1
     2 cvc3-2.4.1
     3 e-1.5
     3 e-1.5
     4 exec_process-1.0.1
     4 exec_process-1.0.2
     5 jdk-7u6
     5 jdk-7u6
     6 jedit_build-20120903
     6 jedit_build-20120903
     7 kodkodi-1.2.16
     7 kodkodi-1.2.16
     8 polyml-5.5.0
     8 polyml-5.5.0
     9 scala-2.9.2
     9 scala-2.9.2