summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune-build-info: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-build-info: add 3.16.0Alfredo Tupone2024-07-032-0/+29
* dev-ml/dune-build-info: add 3.13.1Alfredo Tupone2024-07-022-0/+29
* dev-ml/dune-build-info: Stabilize 3.10.0 amd64, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/dune-build-info: Stabilize 3.10.0 x86, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/dune-build-info: Stabilize 3.10.0 ppc64, #933822Arthur Zamarin2024-06-081-2/+2
* dev-ml/dune-build-info: add 3.11.1Alfredo Tupone2024-06-082-0/+29
* dev-ml/dune-build-info: drop 3.2.0, 3.7.0, 3.8.0, 3.9.0, 3.9.1Alfredo Tupone2024-06-036-145/+0
* dev-ml/dune-build-info: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune-build-info: add 3.10.0Alfredo Tupone2023-08-022-0/+29
* dev-ml/dune-build-info: add 3.9.1Alfredo Tupone2023-07-112-0/+29
* dev-ml/dune-build-info: add 3.9.0Alfredo Tupone2023-07-032-0/+29
* dev-ml/dune-build-info: Keyword 3.8.0 ppc64, #909073Arthur Zamarin2023-06-241-1/+1
* dev-ml/dune-build-info: add 3.8.0Alfredo Tupone2023-05-232-0/+29
* dev-ml/dune-build-info: stabilize 3.7.1 for amd64Alfredo Tupone2023-05-201-1/+1
* dev-ml/dune-build-info: add 3.7.1Alfredo Tupone2023-04-162-0/+29
* dev-ml/dune-build-info: Stabilize 3.6.1 amd64, #901677Sam James2023-03-171-1/+1
* dev-ml/dune-build-info: Stabilize 3.6.1 x86, #901677Sam James2023-03-171-2/+2
* dev-ml/dune-build-info: Stabilize 2.9.3 ppc64, #896102Arthur Zamarin2023-03-151-1/+1
* dev-ml/dune-build-info: add 3.7.0Alfredo Tupone2023-03-012-0/+29
* dev-ml/dune-build-info: Stabilize 2.9.3 x86, #896102Arthur Zamarin2023-02-241-1/+1
* dev-ml/dune-build-info: Stabilize 2.9.3 amd64, #896102Sam James2023-02-231-2/+2
* dev-ml/dune-build-info: add 3.6.1Alfredo Tupone2022-12-162-0/+29
* dev-ml/dune-build-info: add 3.2.0Alfredo Tupone2022-11-222-0/+29
* dev-ml/dune-build-info: 2.9.3 bumpAlfredo Tupone2022-01-292-0/+26
* dev-ml/dune-build-info: new package; add version 2.9.1Maciej Barć2021-12-113-0/+39