summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/ppx_stable_witness: add 0.17.0Alfredo Tupone2024-06-142-0/+25
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_stable_witness: Stabilize 0.16.0 ppc64, #933369Arthur Zamarin2024-06-121-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_stable_witness: Stabilize 0.16.0 arm64, #933369Arthur Zamarin2024-06-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_stable_witness: Stabilize 0.16.0 arm, #933369Arthur Zamarin2024-06-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_stable_witness: Stabilize 0.16.0 x86, #933369Arthur Zamarin2024-06-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_stable_witness: Stabilize 0.16.0 amd64, #933369Arthur Zamarin2024-06-021-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/ppx_stable_witness: new package, add 0.16.0Alfredo Tupone2023-07-023-0/+35
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>