| changeset 66686 | 4f73201b8043 |
| parent 66685 | 1b397be63e68 |
| child 66691 | a8703e8ee1d3 |
| 66685:1b397be63e68 | 66686:4f73201b8043 |
|---|---|
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-2 |
4 cvc4-1.5-3 |
5 e-2.0-1 |
5 e-2.0-1 |
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 |