summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppx_tools: 6.5 bumpAlfredo Tupone2022-04-031-2/+5
* dev-ml/ppx_tools: depend on cppoSam James2021-10-151-0/+2
* dev-ml/ppx_tools: x86 stable wrt bug #813153Agostino Sarubbo2021-09-181-1/+1
* dev-ml/ppx_tools: amd64 stable wrt bug #813153Agostino Sarubbo2021-09-171-1/+1
* dev-ml/ppx_tools: add 6.3Sam James2021-06-091-0/+17