| changeset 74992 | 79635df97a90 |
| parent 74919 | 115a47a103aa |
| child 74995 | 68ffcf5cc94b |
| 74991:d699eb2d26ad | 74992:79635df97a90 |
|---|---|
8 e-2.6-1 |
8 e-2.6-1 |
9 flatlaf-1.6.4 |
9 flatlaf-1.6.4 |
10 idea-icons-20210508 |
10 idea-icons-20210508 |
11 isabelle_fonts-20211004 |
11 isabelle_fonts-20211004 |
12 isabelle_setup-20211109 |
12 isabelle_setup-20211109 |
13 jdk-17.0.1+12 |
13 jdk-17.0.2+8 |
14 jedit-20211103 |
14 jedit-20211103 |
15 jfreechart-1.5.3 |
15 jfreechart-1.5.3 |
16 jortho-1.0-2 |
16 jortho-1.0-2 |
17 kodkodi-1.5.7 |
17 kodkodi-1.5.7 |
18 minisat-2.2.1-1 |
18 minisat-2.2.1-1 |