summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-141-29/+0
* dev-ml/opam-file-format: initial importAlexis Ballier2017-08-261-0/+29