| changeset 71386 | 7e8e5e1f8f90 |
| parent 71384 | 0243bf758e79 |
| child 71387 | b3b992f6ad8f |
| 71385:06bb82e7af2a | 71386:7e8e5e1f8f90 |
|---|---|
9 jedit_build-20190717 |
9 jedit_build-20190717 |
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-1 |
12 kodkodi-1.5.2-1 |
13 nunchaku-0.5 |
13 nunchaku-0.5 |
14 opam-2.0.3-1 |
14 opam-2.0.6 |
15 polyml-5.8.1-20191124 |
15 polyml-5.8.1-20191124 |
16 postgresql-42.2.9 |
16 postgresql-42.2.9 |
17 scala-2.12.10 |
17 scala-2.12.10 |
18 smbc-0.4.1 |
18 smbc-0.4.1 |
19 spass-3.8ds-1 |
19 spass-3.8ds-1 |