| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/dune-private-libs: Stabilize 3.16.0-r3 ppc64, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-16 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 3.16.0 ppc64, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-16 | 1 | -1/+1 |
* | dev-ml/dune-build-info: Stabilize 3.16.0 ppc64, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-16 | 1 | -1/+1 |
* | dev-ml/dune-site: Stabilize 3.16.0 ppc64, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-16 | 1 | -1/+1 |
* | dev-ml/dune: Stabilize 3.16.0 ppc64, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-16 | 1 | -1/+1 |
* | dev-ml/llvm-ocaml: Add 20.0.0_pre20240815 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2024-08-15 | 2 | -0/+108 |
* | dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm64, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-14 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 3.16.0 arm64, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-14 | 1 | -1/+1 |
* | dev-ml/dune: Stabilize 3.16.0 arm64, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-14 | 1 | -1/+1 |
* | dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-14 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 3.16.0 arm, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-14 | 1 | -1/+1 |
* | dev-ml/dune-site: Stabilize 3.16.0 arm, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-14 | 1 | -1/+1 |
* | dev-ml/dune: Stabilize 3.16.0 arm, #937870 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2024-08-14 | 1 | -1/+1 |
* | dev-ml/dune-private-libs: Stabilize 3.16.0-r3 x86, #937870 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 3.16.0 x86, #937870 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
* | dev-ml/dune-build-info: Stabilize 3.16.0 x86, #937870 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
* | dev-ml/dune-site: Stabilize 3.16.0 x86, #937870 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
* | dev-ml/dune: Stabilize 3.16.0 x86, #937870 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
* | dev-ml/dune-private-libs: Stabilize 3.16.0-r3 amd64, #937870 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 3.16.0 amd64, #937870 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
* | dev-ml/dune-build-info: Stabilize 3.16.0 amd64, #937870 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
* | dev-ml/dune-site: Stabilize 3.16.0 amd64, #937870 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
* | dev-ml/dune: Stabilize 3.16.0 amd64, #937870 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
* | dev-ml/llvm-ocaml: Remove old | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2024-08-13 | 3 | -217/+0 |
* | dev-ml/llvm-ocaml: Add 20.0.0_pre20240808 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2024-08-08 | 2 | -0/+108 |
* | dev-ml/llvm-ocaml: Add 19.1.0_rc2 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2024-08-05 | 2 | -0/+109 |
* | dev-ml/dune-private-libs: block stdune/ordering/dyn | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-03 | 3 | -3/+15 |
* | dev-ml/dune-private-libs: install ordering, dyn, and stdune too | ![](//www.gravatar.com/avatar/4dd0d1d47891293f43680849b4cf293c?s=13&d=retro) Hiroki Tokunaga | 2024-08-02 | 3 | -0/+12 |
* | dev-ml/ordering: drop 3.11.1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-02 | 2 | -30/+0 |
* | dev-ml/dyn: drop 3.11.1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-02 | 2 | -32/+0 |
* | dev-ml/stdune: drop 3.11.1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-02 | 2 | -35/+0 |
* | dev-ml/dune-private-libs: collaps ordering dyn stdune in here | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-02 | 1 | -2/+4 |
* | dev-ml/dune-configurator: drop 2.8.4 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-02 | 2 | -117/+0 |
* | dev-ml/llvm-ocaml: Remove old | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2024-08-01 | 2 | -108/+0 |
* | dev-ml/llvm-ocaml: Add 20.0.0_pre20240801 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2024-08-01 | 2 | -0/+108 |
* | dev-ml/ordering: drop 3.13.1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-01 | 2 | -30/+0 |
* | dev-ml/dyn: drop 3.13.1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-01 | 2 | -32/+0 |
* | dev-ml/stdune: drop 3.13.1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-01 | 2 | -37/+0 |
* | dev-ml/dune-private-libs: collaps ordering dyn stdune in here | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-01 | 1 | -4/+1 |
* | dev-ml/coq-menhirlib: bump to 20231231 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2024-08-01 | 2 | -0/+45 |
* | dev-ml/utop: add alcotest deps | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-08-01 | 1 | -1/+4 |
* | dev-ml/stdcompat: regenerate autotools files | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-07-30 | 1 | -1/+8 |
* | dev-ml/num: fix parallel build | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-07-30 | 1 | -0/+4 |
* | dev-ml/core_unix: fix musl build | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-07-29 | 1 | -0/+12 |
* | dev-ml/core: sameslot for more packages | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-07-29 | 1 | -5/+5 |
* | dev-ml/core: sameslot for ppx_stable | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-07-29 | 1 | -1/+1 |
* | dev-ml/core: sameslot for ppx_string | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-07-29 | 1 | -1/+1 |
* | dev-ml/core: use sameslot for ppx_ignore_instrumentation | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-07-29 | 1 | -1/+1 |
* | dev-ml/core: use sameslot for typerep | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-07-29 | 1 | -2/+2 |
* | dev-ml/alcotest: add 1.8.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2024-07-28 | 2 | -0/+39 |