| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/llvm-ocaml: Forward port target changes to 13.0.0_rc3 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2021-09-21 | 1 | -14/+2 |
* | dev-ml/mccs: Remove old | ![](//www.gravatar.com/avatar/36167de7e11e3b358446823d51e69792?s=13&d=retro) Andreas K. Hüttel | 2021-09-20 | 2 | -31/+0 |
* | dev-ml/llvm-ocaml: Switch 13+ to new targets API | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2021-09-20 | 3 | -42/+6 |
* | dev-ml/ocamlbuild: OutdatedBlocker | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-09-20 | 2 | -10/+4 |
* | dev-ml/uunf: x86 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-18 | 1 | -1/+1 |
* | dev-ml/uucp: x86 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-18 | 1 | -1/+1 |
* | dev-ml/unidecode: x86 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-18 | 1 | -1/+1 |
* | dev-ml/ppx_tools: x86 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-18 | 1 | -1/+1 |
* | dev-ml/ppx_deriving: x86 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-18 | 1 | -1/+1 |
* | dev-ml/markup: x86 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-18 | 1 | -1/+1 |
* | dev-ml/jingoo: x86 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-18 | 1 | -1/+1 |
* | dev-ml/calendars: x86 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-18 | 1 | -1/+1 |
* | dev-ml/uunf: amd64 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-17 | 1 | -1/+1 |
* | dev-ml/uucp: amd64 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-17 | 1 | -1/+1 |
* | dev-ml/unidecode: amd64 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-17 | 1 | -1/+1 |
* | dev-ml/ppx_tools: amd64 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-17 | 1 | -1/+1 |
* | dev-ml/ppx_deriving: amd64 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-17 | 1 | -1/+1 |
* | dev-ml/markup: amd64 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-17 | 1 | -1/+1 |
* | dev-ml/jingoo: amd64 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-17 | 1 | -1/+1 |
* | dev-ml/calendars: amd64 stable wrt bug #813153 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-09-17 | 1 | -1/+1 |
* | dev-ml/ppx_tools: ml maintains it | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-09-14 | 1 | -0/+4 |
* | dev-ml/llvm-ocaml: Bump to 13.0.0-rc3 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2021-09-14 | 2 | -0/+125 |
* | dev-ml/zarith: remove old | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-09-12 | 2 | -59/+0 |
* | dev-ml/zarith: VariableScope | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-09-12 | 1 | -1/+4 |
* | dev-ml/facile: VariableScope | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-09-12 | 1 | -6/+6 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2021-09-11 | 174 | -174/+174 |
* | dev-ml/llvm-ocaml: Remove 13.0.0_rc1 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2021-09-11 | 2 | -125/+0 |
* | dev-ml/llvm-ocaml: Remove 12.0.0 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2021-09-11 | 2 | -125/+0 |
* | dev-ml/dose3: Stabilize 6.0.1_p2 arm, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-07 | 1 | -1/+1 |
* | dev-ml/extlib: Stabilize 1.7.8 arm, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-07 | 1 | -1/+1 |
* | dev-ml/ocaml-base64: Stabilize 3.5.0 arm, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-07 | 1 | -1/+1 |
* | dev-ml/bos: Stabilize 0.1.6 arm, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-07 | 1 | -1/+1 |
* | dev-ml/fpath: Stabilize 0.7.2 arm, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-07 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.5.0 arm, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-07 | 1 | -1/+1 |
* | dev-ml/dose3: Stabilize 6.0.1_p2 arm64, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-04 | 1 | -1/+1 |
* | dev-ml/extlib: Stabilize 1.7.8 arm64, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-04 | 1 | -1/+1 |
* | dev-ml/ocaml-base64: Stabilize 3.5.0 arm64, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-04 | 1 | -1/+1 |
* | dev-ml/bos: Stabilize 0.1.6 arm64, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-04 | 1 | -1/+1 |
* | dev-ml/fpath: Stabilize 0.7.2 arm64, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-04 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.5.0 arm64, #804771 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-09-04 | 1 | -1/+1 |
* | dev-ml/llvm-ocaml: Bump to 13.0.0rc2 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2021-08-27 | 2 | -0/+125 |
* | dev-ml/cstruct: Remove last-rited package | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-08-24 | 3 | -36/+0 |
* | dev-ml/mccs: Stabilize 1.1.13 arm64, #807562 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-08-13 | 1 | -1/+1 |
* | dev-ml/mccs: Stabilize 1.1.13 ppc, #807562 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-08-11 | 1 | -1/+1 |
* | dev-ml/mccs: Stabilize 1.1.13 ppc64, #807562 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-08-11 | 1 | -1/+1 |
* | dev-ml/mccs: Stabilize 1.1.13 x86, #807562 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-08-11 | 1 | -1/+1 |
* | dev-ml/mccs: Stabilize 1.1.13 amd64, #807562 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-08-11 | 1 | -1/+1 |
* | dev-ml/mccs: Stabilize 1.1.13 arm, #807562 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-08-11 | 1 | -1/+1 |
* | dev-ml/llvm-ocaml: Bump to 13.0.0rc1 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2021-08-03 | 2 | -0/+125 |
* | dev-ml/ppx_sexp_conv: Stabilize 0.14.2 arm64, #804786 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-08-03 | 1 | -1/+1 |