summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* dev-ml/dune-configurator: fix indentationSam James2021-01-241-3/+3
* dev-ml/dune-configurator: add dev-ml/core_bench test depSam James2021-01-241-1/+2
* dev-ml/dune-configurator: bump to 2.8.2Sam James2021-01-242-0/+108
* dev-ml/dune-configurator: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
* dev-ml/dune-configurator: Keyword 2.7.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/dune-configurator: Fix QA MissingTestRestrictMark Wright2020-10-151-0/+1
* dev-ml/dune-configurator: Bump to 2.7.1Mark Wright2020-10-133-0/+42