changeset 74024 | 19ad7a099992 |
parent 74019 | 08cece720cb5 |
child 74029 | 0701ff55780d |
74023:fd4b4385ad3c | 74024:19ad7a099992 |
---|---|
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 |
11 isabelle_setup-20210716-1 |
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 |