| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/labltk: x86 stable wrt bug #804774 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-13 | 1 | -1/+1 |
* | dev-ml/camlp4: x86 stable wrt bug #804774 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-13 | 1 | -1/+1 |
* | dev-ml/labltk: amd64 stable wrt bug #804774 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-13 | 1 | -1/+1 |
* | dev-ml/camlp4: amd64 stable wrt bug #804774 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-13 | 1 | -1/+1 |
* | dev-ml/csexp: x86 stable wrt bug #817692 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-12 | 1 | -1/+1 |
* | dev-ml/mtime: x86 stable wrt bug #817716 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-12 | 1 | -1/+1 |
* | dev-ml/alcotest: x86 stable wrt bug #817695 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-12 | 1 | -1/+1 |
* | dev-ml/dose3: ppc stable wrt bug #817704 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-12 | 1 | -1/+1 |
* | dev-ml/dose3: amd64 stable wrt bug #817704 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-12 | 1 | -1/+1 |
* | dev-ml/parsexp: update LICENSE | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-12 | 1 | -1/+1 |
* | dev-ml/parsexp: add 0.14.1 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-12 | 2 | -0/+22 |
* | dev-ml/seq: Stabilize 0.2.2 x86, #817743 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/ppx_expect: Stabilize 0.14.1 x86, #817731 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/ocamlnet: Stabilize 4.1.9 x86, #817722 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20210419-r1 x86, #817713 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/graphics: Stabilize 5.1.2 x86, #817701 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/cairo2: Stabilize 0.6.2 x86, #817698 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/fpath: ppc stable wrt bug #817707 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/graphics: ppc stable wrt bug #817701 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/alcotest: ppc stable wrt bug #817695 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/csexp: ppc stable wrt bug #817692 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/bos: ppc stable wrt bug #817689 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/cinaps: ppc stable wrt bug #817719 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/mtime: ppc stable wrt bug #817716 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/menhir: ppc stable wrt bug #817713 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/seq: ppc stable wrt bug #817743 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/rresult: ppc stable wrt bug #817740 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/ppx_expect: ppc stable wrt bug #817731 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/opam-file-format: ppc stable wrt bug #817728 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/ocamlnet: ppc stable wrt bug #817722 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/seq: Stabilize 0.2.2 ppc64, #817743 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.6.0 ppc64, #817740 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/ocaml-compiler-libs: update LICENSE | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 2 | -2/+2 |
* | dev-ml/ocaml-compiler-libs: add 0.12.4 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 2 | -0/+16 |
* | dev-ml/ppx_expect: Stabilize 0.14.1 ppc64, #817731 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/opam-file-format: Stabilize 2.1.3 ppc64, #817728 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/mtime: Stabilize 1.2.0 ppc64, #817716 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20210419-r1 ppc64, #817713 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/seq: Stabilize 0.2.2 amd64, #817743 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/rresult: Stabilize 0.6.0 amd64, #817740 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/opam-file-format: Stabilize 2.1.3 amd64, #817728 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/ppx_expect: Stabilize 0.14.1 amd64, #817731 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/ocamlnet: Stabilize 4.1.9 amd64, #817722 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/alcotest: Stabilize 1.4.0 amd64, #817695 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/fpath: Stabilize 0.7.3 ppc64, #817707 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/graphics: Stabilize 5.1.2 ppc64, #817701 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/mtime: Stabilize 1.2.0 amd64, #817716 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/menhir: Stabilize 20210419-r1 amd64, #817713 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/alcotest: Stabilize 1.4.0 ppc64, #817695 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |
* | dev-ml/bos: Stabilize 0.2.0 ppc64, #817689 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-10-11 | 1 | -1/+1 |