changeset 72175 | 6d7cd8e7bc6d |
parent 72133 | c500f6c86e86 |
child 72177 | fbaa6b40b439 |
72163:f5722290a4d0 | 72175:6d7cd8e7bc6d |
---|---|
7 isabelle_fonts-20190717 |
7 isabelle_fonts-20190717 |
8 jdk-11.0.5+10 |
8 jdk-11.0.5+10 |
9 jedit_build-20200610 |
9 jedit_build-20200610 |
10 jfreechart-1.5.0 |
10 jfreechart-1.5.0 |
11 jortho-1.0-2 |
11 jortho-1.0-2 |
12 kodkodi-1.5.2-1 |
12 kodkodi-1.5.3 |
13 nunchaku-0.5 |
13 nunchaku-0.5 |
14 opam-2.0.6 |
14 opam-2.0.6 |
15 polyml-test-f54aa41240d0 |
15 polyml-test-f54aa41240d0 |
16 postgresql-42.2.9 |
16 postgresql-42.2.9 |
17 scala-2.12.11 |
17 scala-2.12.11 |