changeset 66322 | bdf4d5408b01 |
parent 66191 | d91108ba9474 |
child 66362 | 9b70e98490da |
66321:ea6cbb69dda2 | 66322:bdf4d5408b01 |
---|---|
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.5pre-4 |
4 cvc4-1.5 |
5 e-1.8 |
5 e-1.8 |
6 isabelle_fonts-20160830 |
6 isabelle_fonts-20160830 |
7 jdk-8u131 |
7 jdk-8u131 |
8 jedit_build-20170319 |
8 jedit_build-20170319 |
9 jfreechart-1.0.14-1 |
9 jfreechart-1.0.14-1 |