summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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