summaryrefslogtreecommitdiff
path: root/dev-ml/core
AgeCommit message (Expand)Author
2025-11-26dev-ml/core: drop 0.15.1-r3Alfredo Tupone
2025-11-25dev-ml/core: drop 0.15.0Alfredo Tupone
2025-10-08dev-ml/core: redundant dep on ocamlAlfredo Tupone
2025-07-14dev-ml/core: Keyword 0.17.1-r1 riscv, #959600Jakov Smolić
2025-06-04dev-ml/core: depends on all 0.17.* slot of baseAlfredo Tupone
2025-04-15dev-ml/core: drop 0.14.0-r6, 0.14.1-r1Alfredo Tupone
2024-07-29dev-ml/core: sameslot for more packagesAlfredo Tupone
2024-07-29dev-ml/core: sameslot for ppx_stableAlfredo Tupone
2024-07-29dev-ml/core: sameslot for ppx_stringAlfredo Tupone
2024-07-29dev-ml/core: use sameslot for ppx_ignore_instrumentationAlfredo Tupone
2024-07-29dev-ml/core: use sameslot for typerepAlfredo Tupone
2024-06-15dev-ml/core: add 0.17.1Alfredo Tupone
2024-06-12dev-ml/core: Stabilize 0.16.1 ppc64, #933369Arthur Zamarin
2024-06-02dev-ml/core: add dev-ml/jane-street-headers depsAlfredo Tupone
2024-06-02dev-ml/core: Stabilize 0.16.1 arm64, #933369Arthur Zamarin
2024-06-02dev-ml/core: Stabilize 0.16.1 arm, #933369Arthur Zamarin
2024-06-02dev-ml/core: Stabilize 0.16.1 x86, #933369Arthur Zamarin
2024-06-02dev-ml/core: Stabilize 0.16.1 amd64, #933369Arthur Zamarin
2024-06-02dev-ml/core: fix depsAlfredo Tupone
2023-07-02dev-ml/core: add 0.16.1Alfredo Tupone
2023-06-15dev-ml/core: Keyword 0.15.1-r1 ppc64, #892131Arthur Zamarin
2023-06-15dev-ml/core: Keyword 0.15.1-r1 ppc, #892131Arthur Zamarin
2023-04-29dev-ml/core: Stabilize 0.15.1-r1 arm64, #901599Sam James
2023-04-29dev-ml/core: Stabilize 0.15.1-r1 arm, #901599Sam James
2023-04-29dev-ml/core: Stabilize 0.15.1-r1 x86, #901599Sam James
2023-04-19dev-ml/core: stabilize 0.15.1-r1 for amd64Alfredo Tupone
2023-02-24dev-ml/core: Keyword 0.15.1-r1 arm, #892131Sam James
2023-02-24dev-ml/core: Keyword 0.15.1-r1 arm64, #892131Sam James
2023-02-20dev-ml/core: Keyword 0.15.1-r1 x86, #892131Arthur Zamarin
2023-02-10dev-ml/core: Keyword 0.15.1-r1 riscv, #892131Yixun Lan
2023-01-28dev-ml/core: adj depsAlfredo Tupone
2023-01-27dev-ml/core: add 0.15.1Alfredo Tupone
2023-01-27dev-ml/core: unkeyword 0.15.0Sam James
2022-10-15dev-ml/core: adj depsAlfredo Tupone
2022-04-26dev-ml/core: 0.15.0 bumpAlfredo Tupone
2022-04-22dev-ml/core: update dependencies version constraintsMaciej Barć
2022-04-22dev-ml/core: update dependencies version constraintsMaciej Barć
2022-04-18dev-ml/core: Keyword 0.14.1 riscv, #835392Yongxiang Liang
2022-03-03dev-ml/core: destabilise for ppcSam James
2022-01-31dev-ml/core: fix depAlfredo Tupone
2021-10-03dev-ml/core: src_compile is in dune.eclassAlfredo Tupone
2021-10-01dev-ml/core: bump 0.14.1Alfredo Tupone
2021-09-11**/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller
2021-03-14dev-ml/core: Stabilize 0.14.0-r3 arm64, #772833Sam James
2021-03-14dev-ml/core: Stabilize 0.14.0-r3 arm, #772833Sam James
2021-03-13dev-ml/core: Stabilize 0.14.0-r3 ppc64, #772833Sam James
2021-03-13dev-ml/core: default +ocamloptSam James
2021-03-10dev-ml/core: remove unused patch(es)Michael Mair-Keimberger
2021-03-07dev-ml/core: rm old versionsAlfredo Tupone
2021-03-04dev-ml/core: amd64 stable wrt bug #772833Agostino Sarubbo