summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/ppx_optcomp: Keyword 0.14.3 riscv, #835392Yongxiang Liang2022-04-181-1/+1
* dev-ml/ppx_optcomp: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppx_optcomp: Stabilize 0.14.3 ppc64, #816096Sam James2021-10-161-1/+1
* dev-ml/ppx_optcomp: Stabilize 0.14.3 ppc, #816096Sam James2021-10-161-1/+1
* dev-ml/ppx_optcomp: amd64 stable wrt bug #816096Agostino Sarubbo2021-10-161-1/+1
* dev-ml/ppx_optcomp: Stabilize 0.14.3 arm64, #816096Sam James2021-10-161-1/+1
* dev-ml/ppx_optcomp: Stabilize 0.14.3 arm, #816096Sam James2021-10-151-1/+1
* dev-ml/ppx_optcomp: Stabilize 0.14.3 x86, #816096Sam James2021-10-151-1/+1
* dev-ml/ppx_optcomp: add 0.14.3Sam James2021-10-051-0/+26