| author | wenzelm |
| Mon, 18 Aug 2014 12:15:11 +0200 | |
| changeset 59102 | 113b43b84412 |
| parent 59068 | 0ecc524797dc |
| 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@59068 | 5 |
Haskabelle-2014 |
| wenzelm@59102 | 6 |
jdk-7u67 |
| wenzelm@58950 | 7 |
jedit_build-20140722 |
| wenzelm@54713 | 8 |
jfreechart-1.0.14-1 |
| wenzelm@57938 | 9 |
jortho-1.0-2 |
| blanchet@51245 | 10 |
kodkodi-1.5.2 |
| wenzelm@59031 | 11 |
polyml-5.5.2-1 |
| wenzelm@58990 | 12 |
scala-2.11.2 |
| wenzelm@49858 | 13 |
spass-3.8ds |
| wenzelm@56349 | 14 |
z3-3.2-1 |
| blanchet@58509 | 15 |
z3-4.3.2pre-1 |
| wenzelm@54713 | 16 |
xz-java-1.2-1 |