summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppxfind: treecleanDavid Seifert2023-03-181-1/+0
* dev-ml/ppxfind: Dependency of dev-ml/ppx_derivingMark Wright2020-10-131-0/+1