changeset 72177 | fbaa6b40b439 |
parent 72175 | 6d7cd8e7bc6d |
child 72180 | f422efa3cca0 |
72176:22c11f65ddf9 | 72177:fbaa6b40b439 |
---|---|
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.3 |
12 kodkodi-1.5.4 |
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 |