summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune: Stabilize 2.8.2 arm64, #772833Sam James2021-03-141-1/+1
* dev-ml/dune: Stabilize 2.8.2 arm, #772833Sam James2021-03-141-1/+1
* dev-ml/dune: Stabilize 2.8.2 ppc64, #772833Sam James2021-03-131-1/+1
* dev-ml/dune: amd64 stable wrt bug #772833Agostino Sarubbo2021-03-041-1/+1
* dev-ml/dune: Stabilize 2.8.2 x86, #772833Sam James2021-02-251-1/+1
* dev-ml/dune: add missing test depsSam James2021-02-251-5/+16
* dev-ml/dune: Stabilize 2.8.2 ppc, #772833Sam James2021-02-251-1/+1
* dev-ml/dune: add dependencyAlfredo Tupone2021-02-011-2/+3
* dev-ml/dune: QA flags ignoredAlfredo Tupone2021-01-261-0/+2
* dev-ml/dune: bump to 2.8.2Sam James2021-01-241-0/+33