summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ordering: drop 3.11.1Alfredo Tupone2024-08-022-30/+0
* dev-ml/ordering: drop 3.13.1Alfredo Tupone2024-08-012-30/+0
* dev-ml/*: drop package version included in dune-private-libsAlfredo Tupone2024-07-192-30/+0
* dev-ml/ordering: add 3.16.0Alfredo Tupone2024-07-032-0/+30
* dev-ml/ordering: add 3.13.1Alfredo Tupone2024-07-022-0/+30
* dev-ml/ordering: Stabilize 3.10.0 arm, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/ordering: Stabilize 3.10.0 arm64, #933822Sam James2024-06-081-1/+1
* dev-ml/ordering: Stabilize 3.10.0 amd64, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/ordering: Stabilize 3.10.0 x86, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/ordering: Stabilize 3.10.0 ppc64, #933822Arthur Zamarin2024-06-081-2/+2
* dev-ml/ordering: add 3.11.1Alfredo Tupone2024-06-082-0/+30
* dev-ml/ordering: drop versionsAlfredo Tupone2024-06-068-219/+0
* dev-ml/ordering: add 3.10.0Alfredo Tupone2023-08-022-0/+31
* dev-ml/ordering: add 3.9.1Alfredo Tupone2023-07-112-0/+31
* dev-ml/ordering: add 3.9.0Alfredo Tupone2023-07-032-0/+31
* dev-ml/ordering: add 3.8.0Alfredo Tupone2023-05-232-0/+31
* dev-ml/ordering: stabilize 3.7.1 for amd64Alfredo Tupone2023-05-201-1/+1
* dev-ml/ordering: Stabilize 3.6.2 ppc64, #901629Arthur Zamarin2023-04-291-1/+1
* dev-ml/ordering: Stabilize 3.6.2 x86, #901629Arthur Zamarin2023-04-291-1/+1
* dev-ml/ordering: Stabilize 3.6.2 arm, #901629Arthur Zamarin2023-04-291-1/+1
* dev-ml/ordering: add 3.7.1Alfredo Tupone2023-04-162-0/+31
* dev-ml/ordering: Stabilize 3.6.2 arm64, #901629Sam James2023-04-011-1/+1
* dev-ml/ordering: Stabilize 3.6.2 amd64, #901629Arthur Zamarin2023-03-171-1/+1
* dev-ml/ordering: add 3.7.0Alfredo Tupone2023-03-012-0/+31
* dev-ml/ordering: add 3.6.2Alfredo Tupone2023-01-302-0/+31
* dev-ml/ordering: add 3.6.1Alfredo Tupone2022-12-162-0/+31
* dev-ml/ordering: add 3.2.0Alfredo Tupone2022-11-222-0/+31
* dev-ml/ordering: relax deps on duneAlfredo Tupone2022-11-201-2/+2
* dev-ml/ordering: new package, add 3.0.3Alfredo Tupone2022-11-193-0/+44