changeset 72180 | f422efa3cca0 |
parent 72177 | fbaa6b40b439 |
child 72202 | 0840240dfb24 |
72179:0841895ca438 | 72180:f422efa3cca0 |
---|---|
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.4 |
12 kodkodi-1.5.4-1 |
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 |