| changeset 68678 | daf21cb6ebc1 |
| parent 68675 | 4535a45182d5 |
| child 68685 | 4b367da119ed |
| 68676:74cb08ff2e66 | 68678:daf21cb6ebc1 |
|---|---|
7 isabelle_fonts-20180113 |
7 isabelle_fonts-20180113 |
8 jdk-8u172 |
8 jdk-8u172 |
9 jedit_build-20180504 |
9 jedit_build-20180504 |
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 |
12 kodkodi-1.5.2-1 |
13 nunchaku-0.5 |
13 nunchaku-0.5 |
14 polyml-5.7.1-7 |
14 polyml-5.7.1-7 |
15 postgresql-42.2.2 |
15 postgresql-42.2.2 |
16 scala-2.12.6 |
16 scala-2.12.6 |
17 smbc-0.4.1 |
17 smbc-0.4.1 |