| author | wenzelm |
| Wed, 02 Oct 2013 19:27:12 +0200 | |
| changeset 55173 | bc89d163409f |
| parent 55071 | 787242dbb49e |
| child 55259 | 52ed202464a5 |
| 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@54151 | 3 |
e-1.8 |
| wenzelm@51308 | 4 |
exec_process-1.0.3 |
| noschinl@51936 | 5 |
Haskabelle-2013 |
| wenzelm@54763 | 6 |
jdk-7u40 |
| wenzelm@55071 | 7 |
jedit_build-20130926 |
| wenzelm@54713 | 8 |
jfreechart-1.0.14-1 |
| blanchet@51245 | 9 |
kodkodi-1.5.2 |
| wenzelm@54823 | 10 |
polyml-5.5.1 |
| wenzelm@55173 | 11 |
scala-2.10.3 |
| wenzelm@49858 | 12 |
spass-3.8ds |
| blanchet@51358 | 13 |
z3-3.2 |
| wenzelm@54713 | 14 |
xz-java-1.2-1 |