| changeset 74486 | 74a36aae067a |
| parent 74485 | 2d089ff0e03b |
| child 74548 | 1861f4d1d3f9 |
| 74485:2d089ff0e03b | 74486:74a36aae067a |
|---|---|
11 isabelle_setup-20210922 |
11 isabelle_setup-20210922 |
12 jdk-17+35 |
12 jdk-17+35 |
13 jedit-20210802 |
13 jedit-20210802 |
14 jfreechart-1.5.3 |
14 jfreechart-1.5.3 |
15 jortho-1.0-2 |
15 jortho-1.0-2 |
16 kodkodi-1.5.6-1 |
16 kodkodi-1.5.7 |
17 minisat-2.2.1 |
17 minisat-2.2.1 |
18 nunchaku-0.5 |
18 nunchaku-0.5 |
19 opam-2.0.7 |
19 opam-2.0.7 |
20 polyml-5.8.2 |
20 polyml-5.8.2 |
21 postgresql-42.2.24 |
21 postgresql-42.2.24 |