| changeset 74734 | f345da8defff |
| parent 74722 | b92b5a57521b |
| child 74738 | cba1da393958 |
| 74733:255e651a4c5f | 74734:f345da8defff |
|---|---|
12 jdk-17.0.1+12 |
12 jdk-17.0.1+12 |
13 jedit-20211103 |
13 jedit-20211103 |
14 jfreechart-1.5.3 |
14 jfreechart-1.5.3 |
15 jortho-1.0-2 |
15 jortho-1.0-2 |
16 kodkodi-1.5.7 |
16 kodkodi-1.5.7 |
17 minisat-2.2.1 |
17 minisat-2.2.1-1 |
18 nunchaku-0.5 |
18 nunchaku-0.5 |
19 opam-2.0.7 |
19 opam-2.0.7 |
20 polyml-5.9-5d4caa8f7148 |
20 polyml-5.9-5d4caa8f7148 |
21 postgresql-42.2.24 |
21 postgresql-42.2.24 |
22 scala-2.13.5 |
22 scala-2.13.5 |