summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppxlib: ppc64 stable wrt bug #817755Agostino Sarubbo2021-11-021-1/+1
* dev-ml/ppxlib: ppc stable wrt bug #817755Agostino Sarubbo2021-11-021-1/+1
* dev-ml/ppxlib: Stabilize 0.22.2-r2 arm64, #817755Sam James2021-10-291-1/+1
* dev-ml/ppxlib: Stabilize 0.22.2-r2 arm, #817755Sam James2021-10-291-1/+1
* dev-ml/ppxlib: amd64 stable wrt bug #817755Agostino Sarubbo2021-10-191-1/+1
* dev-ml/ppxlib: x86 stable wrt bug #817755Agostino Sarubbo2021-10-181-1/+1
* dev-ml/ppxlib: fix dependenciesSam James2021-10-151-0/+47