changeset 71341 | dfc52eb97ff4 |
parent 71339 | 05400628c56b |
child 71369 | 897ff7e68a10 |
71340:6d9dd5309b85 | 71341:dfc52eb97ff4 |
---|---|
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.3 |
2 bash_process-1.2.3 |
3 bib2xhtml-20190409 |
3 bib2xhtml-20190409 |
4 csdp-6.1 |
4 csdp-6.1-1 |
5 cvc4-1.5-5 |
5 cvc4-1.5-5 |
6 e-2.0-2 |
6 e-2.0-2 |
7 isabelle_fonts-20190717 |
7 isabelle_fonts-20190717 |
8 jdk-11.0.4+11 |
8 jdk-11.0.4+11 |
9 jedit_build-20190717 |
9 jedit_build-20190717 |