changeset 69134 | a142ec271d83 |
parent 69132 | 9dabb405a3ba |
child 69141 | 42504382f75b |
69133:22fe10b4c0c6 | 69134:a142ec271d83 |
---|---|
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-1 |
12 kodkodi-1.5.2-1 |
13 nunchaku-0.5 |
13 nunchaku-0.5 |
14 opam-1.2.2 |
|
14 polyml-5.7.1-8 |
15 polyml-5.7.1-8 |
15 postgresql-42.2.5 |
16 postgresql-42.2.5 |
16 scala-2.12.7 |
17 scala-2.12.7 |
17 smbc-0.4.1 |
18 smbc-0.4.1 |
18 ssh-java-20161009 |
19 ssh-java-20161009 |