diff options
author | Sam James <sam@gentoo.org> | 2023-03-25 01:54:40 +0000 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2023-03-25 01:54:40 +0000 |
commit | 4579602451650282f99ab957452f26d7c2801996 (patch) | |
tree | 2d5a56930bb1b2c0437a6a4646870b0519c2fb26 /dev-ml/ppx_optcomp | |
parent | dev-ml/ppx_typerep_conv: Stabilize 0.15.0 arm64, #901591 (diff) | |
download | gentoo-4579602451650282f99ab957452f26d7c2801996.tar.gz gentoo-4579602451650282f99ab957452f26d7c2801996.tar.bz2 gentoo-4579602451650282f99ab957452f26d7c2801996.zip |
dev-ml/ppx_here: Stabilize 0.15.0 ppc64, #901531
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_optcomp')
0 files changed, 0 insertions, 0 deletions