summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune: Stabilize 3.16.0 arm64, #937870Sam James2024-08-141-1/+1
* dev-ml/dune: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune: add 3.16.0Alfredo Tupone2024-07-031-0/+70