summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-141-34/+0
* dev-ml/reason: update to opam.eclassAlexis Ballier2017-08-061-11/+3
* dev-ml/reason: bump to 2.0.0Alexis Ballier2017-06-031-0/+42