author | wenzelm |
Fri, 04 Jan 2013 20:42:09 +0100 | |
changeset 51743 | e7b2cfcef94c |
parent 51447 | f9d70f49d370 |
child 51768 | 1253fd12ca8a |
permissions | -rw-r--r-- |
wenzelm@49862 | 1 |
#main components for everyday use, without big impact on overall build time |
wenzelm@49858 | 2 |
cvc3-2.4.1 |
blanchet@51245 | 3 |
e-1.6 |
wenzelm@51308 | 4 |
exec_process-1.0.3 |
wenzelm@51309 | 5 |
jdk-7u9 |
wenzelm@51743 | 6 |
jedit_build-20130104 |
wenzelm@51447 | 7 |
jfreechart-1.0.14 |
blanchet@51245 | 8 |
kodkodi-1.5.2 |
wenzelm@50416 | 9 |
polyml-5.5.0 |
wenzelm@49858 | 10 |
scala-2.9.2 |
wenzelm@49858 | 11 |
spass-3.8ds |
blanchet@51358 | 12 |
z3-3.2 |