summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/*: Remove first set of unneeded leaf packagesMichał Górny2020-01-141-13/+0
* dev-ml/lambda-term: bump to 1.11Alexis Ballier2017-04-121-0/+13