| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/cryptokit: Stabilize 1.11 ppc, #737156 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/ocamlweb: Stabilize 1.41 ppc, #750284 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/camlzip: Stabilize 1.10 ppc, #750287 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/ocamlnet: Stabilize 4.1.8 ppc, #750281 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/zarith: version bump to 1.10 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2020-10-26 | 2 | -0/+59 |
* | dev-ml/camlpdf: remove old | ![](//www.gravatar.com/avatar/65b2854d447550ede604cbee53553784?s=13&d=retro) Tim Harder | 2020-10-26 | 2 | -37/+0 |
* | dev-ml/lablgl: remove old | ![](//www.gravatar.com/avatar/65b2854d447550ede604cbee53553784?s=13&d=retro) Tim Harder | 2020-10-25 | 1 | -92/+0 |
* | dev-ml/lablgl: fix lablglut binary install | ![](//www.gravatar.com/avatar/65b2854d447550ede604cbee53553784?s=13&d=retro) Tim Harder | 2020-10-25 | 2 | -0/+106 |
* | dev-ml/cryptokit: x86 stable (bug #737156) | ![](//www.gravatar.com/avatar/9d15a677bb67b6c5e4eb01e8ed206d3b?s=13&d=retro) Thomas Deutschmann | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/zarith: x86 stable (bug #737156) | ![](//www.gravatar.com/avatar/9d15a677bb67b6c5e4eb01e8ed206d3b?s=13&d=retro) Thomas Deutschmann | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/camlzip: x86 stable (bug #750287) | ![](//www.gravatar.com/avatar/9d15a677bb67b6c5e4eb01e8ed206d3b?s=13&d=retro) Thomas Deutschmann | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/camlp4: Stabilize 4.08_p1 ppc, #710152 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-25 | 1 | -1/+1 |
* | dev-ml/ocamlweb: x86 stable (bug #750284) | ![](//www.gravatar.com/avatar/9d15a677bb67b6c5e4eb01e8ed206d3b?s=13&d=retro) Thomas Deutschmann | 2020-10-25 | 1 | -1/+1 |
* | dev-ml/ocamlnet: x86 stable (bug #750281) | ![](//www.gravatar.com/avatar/9d15a677bb67b6c5e4eb01e8ed206d3b?s=13&d=retro) Thomas Deutschmann | 2020-10-25 | 1 | -1/+1 |
* | dev-ml/integers: Keyword 0.4.0 x86, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/extlib: Keyword 1.7.7 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ocaml-ssl: Keyword 0.5.9 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/pcre-ocaml: Keyword 7.4.6-r1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/cryptokit: Keyword 1.16.1-r1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/cppo: Keyword 1.6.6 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/camomile: Keyword 1.0.2 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/dose3: Keyword 5.0.1-r1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/cairo2: Keyword 0.6.1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/lablgtk: Keyword 3.1.1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/jst-config: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/jane-street-headers: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/bin_prot: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/typerep: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/splittable_random: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/opam-core: Keyword 2.0.7 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_typerep_conv: Keyword 0.14.1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_string: Keyword 0.14.1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_stable: Keyword 0.14.1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_sexp_value: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_sexp_message: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_pipebang: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_optional: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_module_timer: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_let: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_fixed_literal: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_fail: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_bin_prot: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_bench: Keyword 0.14.1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/base_quickcheck: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/variantslib: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/fieldslib: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/time_now: Keyword 0.14.0 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/opam-format: Keyword 2.0.7 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_variants_conv: Keyword 0.14.1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/ppx_inline_test: Keyword 0.14.1 ppc, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-24 | 1 | -1/+1 |