| changeset 72358 | 91f38e34aa3f |
| parent 72354 | 2d36c214f7fd |
| child 72368 | b86d1e754e78 |
| 72355:1f959abe99d5 | 72358:91f38e34aa3f |
|---|---|
9 jedit_build-20200908 |
9 jedit_build-20200908 |
10 jfreechart-1.5.0 |
10 jfreechart-1.5.0 |
11 jortho-1.0-2 |
11 jortho-1.0-2 |
12 kodkodi-1.5.6 |
12 kodkodi-1.5.6 |
13 nunchaku-0.5 |
13 nunchaku-0.5 |
14 opam-2.0.6 |
14 opam-2.0.7 |
15 polyml-test-a3cfdf648da-1 |
15 polyml-test-a3cfdf648da-1 |
16 postgresql-42.2.9 |
16 postgresql-42.2.9 |
17 scala-2.12.12 |
17 scala-2.12.12 |
18 smbc-0.4.1 |
18 smbc-0.4.1 |
19 spass-3.8ds-1 |
19 spass-3.8ds-1 |