summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune-private-libs: depend on matching dev-ml/dune versionSam James2020-11-101-5/+7
* dev-ml/dune-private-libs: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
* dev-ml/dune-private-libs: Keyword 2.7.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/dune-private-libs: Add missing dep dev-ml/findlibMark Wright2020-10-141-0/+2
* dev-ml/dune-private-libs: Bump to 2.7.1Mark Wright2020-10-133-0/+52