| author | wenzelm |
| Fri, 17 Aug 2012 19:07:14 +0200 | |
| changeset 49862 | 06e8cb8f3f61 |
| parent 49858 | 9055bf115e30 |
| child 50015 | 0cebcbeac4c7 |
| 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 |
| wenzelm@49858 | 3 |
e-1.5 |
| wenzelm@49858 | 4 |
jdk-7u6 |
| wenzelm@49858 | 5 |
jedit_build-20120813 |
| wenzelm@49858 | 6 |
kodkodi-1.2.16 |
| wenzelm@49858 | 7 |
scala-2.9.2 |
| wenzelm@49858 | 8 |
spass-3.8ds |
| wenzelm@49858 | 9 |
z3-4.0 |