| changeset 69188 | 2fd73a1a0937 |
| parent 69147 | 6f4d561ea621 |
| child 69191 | 96b633ac24f8 |
| 69187:d8849cfad60f | 69188:2fd73a1a0937 |
|---|---|
3 bib2xhtml-20171221 |
3 bib2xhtml-20171221 |
4 csdp-6.x |
4 csdp-6.x |
5 cvc4-1.5-4 |
5 cvc4-1.5-4 |
6 e-2.0-2 |
6 e-2.0-2 |
7 isabelle_fonts-20180113 |
7 isabelle_fonts-20180113 |
8 jdk-8u181 |
8 jdk-11+28 |
9 jedit_build-20180504 |
9 jedit_build-20181025 |
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 opam-1.2.2 |