summaryrefslogtreecommitdiff
path: root/dev-ml/ordering
AgeCommit message (Expand)Author
2024-10-13dev-ml/ordering: treecleanAlfredo Tupone
2024-08-02dev-ml/ordering: drop 3.11.1Alfredo Tupone
2024-08-01dev-ml/ordering: drop 3.13.1Alfredo Tupone
2024-07-19dev-ml/*: drop package version included in dune-private-libsAlfredo Tupone
2024-07-03dev-ml/ordering: add 3.16.0Alfredo Tupone
2024-07-02dev-ml/ordering: add 3.13.1Alfredo Tupone
2024-06-08dev-ml/ordering: Stabilize 3.10.0 arm, #933822Arthur Zamarin
2024-06-08dev-ml/ordering: Stabilize 3.10.0 arm64, #933822Sam James
2024-06-08dev-ml/ordering: Stabilize 3.10.0 amd64, #933822Arthur Zamarin
2024-06-08dev-ml/ordering: Stabilize 3.10.0 x86, #933822Arthur Zamarin
2024-06-08dev-ml/ordering: Stabilize 3.10.0 ppc64, #933822Arthur Zamarin
2024-06-08dev-ml/ordering: add 3.11.1Alfredo Tupone
2024-06-06dev-ml/ordering: drop versionsAlfredo Tupone
2023-08-02dev-ml/ordering: add 3.10.0Alfredo Tupone
2023-07-11dev-ml/ordering: add 3.9.1Alfredo Tupone
2023-07-03dev-ml/ordering: add 3.9.0Alfredo Tupone
2023-05-23dev-ml/ordering: add 3.8.0Alfredo Tupone
2023-05-20dev-ml/ordering: stabilize 3.7.1 for amd64Alfredo Tupone
2023-04-29dev-ml/ordering: Stabilize 3.6.2 ppc64, #901629Arthur Zamarin
2023-04-29dev-ml/ordering: Stabilize 3.6.2 x86, #901629Arthur Zamarin
2023-04-29dev-ml/ordering: Stabilize 3.6.2 arm, #901629Arthur Zamarin
2023-04-16dev-ml/ordering: add 3.7.1Alfredo Tupone
2023-04-01dev-ml/ordering: Stabilize 3.6.2 arm64, #901629Sam James
2023-03-17dev-ml/ordering: Stabilize 3.6.2 amd64, #901629Arthur Zamarin
2023-03-01dev-ml/ordering: add 3.7.0Alfredo Tupone
2023-01-30dev-ml/ordering: add 3.6.2Alfredo Tupone
2022-12-16dev-ml/ordering: add 3.6.1Alfredo Tupone
2022-11-22dev-ml/ordering: add 3.2.0Alfredo Tupone
2022-11-20dev-ml/ordering: relax deps on duneAlfredo Tupone
2022-11-19dev-ml/ordering: new package, add 3.0.3Alfredo Tupone