equal
deleted
inserted
replaced
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-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-3 |
7 isabelle_fonts-20190717 |
7 isabelle_fonts-20190717 |
8 jdk-11.0.6+10 |
8 jdk-11.0.6+10 |
9 jedit_build-20190717 |
9 jedit_build-20190717 |
10 jfreechart-1.5.0 |
10 jfreechart-1.5.0 |
11 jortho-1.0-2 |
11 jortho-1.0-2 |