summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/camlp5: amd64 stable wrt bug #804777Agostino Sarubbo2021-07-291-1/+1
* dev-ml/camlp5: x86 stable wrt bug #804777Agostino Sarubbo2021-07-291-1/+1
* dev-ml/camlp5: Stabilize 8.00.01 ppc64, #804777Sam James2021-07-281-1/+1
* dev-ml/camlp5: Stabilize 8.00.01 ppc, #804777Sam James2021-07-281-1/+1
* dev-ml/camlp5: add 8.00.01Sam James2021-06-101-0/+58