| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/ordering: drop 3.11.1 | Alfredo Tupone | 2024-08-02 | 2 | -30/+0 |
* | dev-ml/ordering: drop 3.13.1 | Alfredo Tupone | 2024-08-01 | 2 | -30/+0 |
* | dev-ml/*: drop package version included in dune-private-libs | Alfredo Tupone | 2024-07-19 | 2 | -30/+0 |
* | dev-ml/ordering: add 3.16.0 | Alfredo Tupone | 2024-07-03 | 2 | -0/+30 |
* | dev-ml/ordering: add 3.13.1 | Alfredo Tupone | 2024-07-02 | 2 | -0/+30 |
* | dev-ml/ordering: Stabilize 3.10.0 arm, #933822 | Arthur Zamarin | 2024-06-08 | 1 | -1/+1 |
* | dev-ml/ordering: Stabilize 3.10.0 arm64, #933822 | Sam James | 2024-06-08 | 1 | -1/+1 |
* | dev-ml/ordering: Stabilize 3.10.0 amd64, #933822 | Arthur Zamarin | 2024-06-08 | 1 | -1/+1 |
* | dev-ml/ordering: Stabilize 3.10.0 x86, #933822 | Arthur Zamarin | 2024-06-08 | 1 | -1/+1 |
* | dev-ml/ordering: Stabilize 3.10.0 ppc64, #933822 | Arthur Zamarin | 2024-06-08 | 1 | -2/+2 |
* | dev-ml/ordering: add 3.11.1 | Alfredo Tupone | 2024-06-08 | 2 | -0/+30 |
* | dev-ml/ordering: drop versions | Alfredo Tupone | 2024-06-06 | 8 | -219/+0 |
* | dev-ml/ordering: add 3.10.0 | Alfredo Tupone | 2023-08-02 | 2 | -0/+31 |
* | dev-ml/ordering: add 3.9.1 | Alfredo Tupone | 2023-07-11 | 2 | -0/+31 |
* | dev-ml/ordering: add 3.9.0 | Alfredo Tupone | 2023-07-03 | 2 | -0/+31 |
* | dev-ml/ordering: add 3.8.0 | Alfredo Tupone | 2023-05-23 | 2 | -0/+31 |
* | dev-ml/ordering: stabilize 3.7.1 for amd64 | Alfredo Tupone | 2023-05-20 | 1 | -1/+1 |
* | dev-ml/ordering: Stabilize 3.6.2 ppc64, #901629 | Arthur Zamarin | 2023-04-29 | 1 | -1/+1 |
* | dev-ml/ordering: Stabilize 3.6.2 x86, #901629 | Arthur Zamarin | 2023-04-29 | 1 | -1/+1 |
* | dev-ml/ordering: Stabilize 3.6.2 arm, #901629 | Arthur Zamarin | 2023-04-29 | 1 | -1/+1 |
* | dev-ml/ordering: add 3.7.1 | Alfredo Tupone | 2023-04-16 | 2 | -0/+31 |
* | dev-ml/ordering: Stabilize 3.6.2 arm64, #901629 | Sam James | 2023-04-01 | 1 | -1/+1 |
* | dev-ml/ordering: Stabilize 3.6.2 amd64, #901629 | Arthur Zamarin | 2023-03-17 | 1 | -1/+1 |
* | dev-ml/ordering: add 3.7.0 | Alfredo Tupone | 2023-03-01 | 2 | -0/+31 |
* | dev-ml/ordering: add 3.6.2 | Alfredo Tupone | 2023-01-30 | 2 | -0/+31 |
* | dev-ml/ordering: add 3.6.1 | Alfredo Tupone | 2022-12-16 | 2 | -0/+31 |
* | dev-ml/ordering: add 3.2.0 | Alfredo Tupone | 2022-11-22 | 2 | -0/+31 |
* | dev-ml/ordering: relax deps on dune | Alfredo Tupone | 2022-11-20 | 1 | -2/+2 |
* | dev-ml/ordering: new package, add 3.0.3 | Alfredo Tupone | 2022-11-19 | 3 | -0/+44 |