| changeset 74029 | 0701ff55780d |
| parent 74024 | 19ad7a099992 |
| child 74030 | 39e05601faeb |
| 74028:77cc23b550e9 | 74029:0701ff55780d |
|---|---|
6 cvc4-1.8 |
6 cvc4-1.8 |
7 e-2.5-1 |
7 e-2.5-1 |
8 flatlaf-1.2 |
8 flatlaf-1.2 |
9 idea-icons-20210508 |
9 idea-icons-20210508 |
10 isabelle_fonts-20210322 |
10 isabelle_fonts-20210322 |
11 isabelle_setup-20210716-1 |
11 isabelle_setup-20210717 |
12 jdk-15.0.2+7 |
12 jdk-15.0.2+7 |
13 jedit-20210715 |
13 jedit-20210715 |
14 jfreechart-1.5.1 |
14 jfreechart-1.5.1 |
15 jortho-1.0-2 |
15 jortho-1.0-2 |
16 kodkodi-1.5.6-1 |
16 kodkodi-1.5.6-1 |