changeset 66493 | c94c55cc8d86 |
parent 66471 | 80736667cc2e |
child 66636 | 6585669c33dc |
66492:d7206afe2d28 | 66493:c94c55cc8d86 |
---|---|
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 bash_process-1.2.1 |
2 bash_process-1.2.1 |
3 csdp-6.x |
3 csdp-6.x |
4 cvc4-1.5 |
4 cvc4-1.5-1 |
5 e-2.0 |
5 e-2.0 |
6 isabelle_fonts-20160830 |
6 isabelle_fonts-20160830 |
7 jdk-8u144 |
7 jdk-8u144 |
8 jedit_build-20170319 |
8 jedit_build-20170319 |
9 jfreechart-1.0.14-1 |
9 jfreechart-1.0.14-1 |