equal
deleted
inserted
replaced
1 #main components for repository clones or release bundles |
1 #main components for repository clones or release bundles |
2 gnu-utils-20211030 |
2 gnu-utils-20211030 |
3 apache-commons-20211211 |
|
4 bash_process-1.3 |
3 bash_process-1.3 |
5 bib2xhtml-20190409 |
4 bib2xhtml-20190409 |
6 csdp-6.1.1 |
5 csdp-6.1.1 |
7 cvc4-1.8 |
6 cvc4-1.8 |
8 e-2.6-1 |
7 e-2.6-1 |
15 isabelle_setup-20230206 |
14 isabelle_setup-20230206 |
16 jdk-17.0.6 |
15 jdk-17.0.6 |
17 jedit-20211103 |
16 jedit-20211103 |
18 jfreechart-1.5.3 |
17 jfreechart-1.5.3 |
19 jortho-1.0-2 |
18 jortho-1.0-2 |
|
19 jsoup-1.15.4 |
20 kodkodi-1.5.7 |
20 kodkodi-1.5.7 |
21 lipics-3.1.2 |
21 lipics-3.1.2 |
22 llncs-2.22 |
22 llncs-2.22 |
23 minisat-2.2.1-1 |
23 minisat-2.2.1-1 |
24 mlton-20210117-1 |
24 mlton-20210117-1 |