summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2020-10-24 00:16:09 +0000
committerSam James <sam@gentoo.org>2020-10-24 00:16:09 +0000
commit71afc6f2551111128a9d86e976a5e4ca22634874 (patch)
treecb4520cf1c4f0d18dce2b8384d3e24de1d288208 /dev-ml/ppx_fail
parentdev-ml/base_quickcheck: Keyword 0.14.0 ppc, #748576 (diff)
downloadgentoo-71afc6f2551111128a9d86e976a5e4ca22634874.tar.gz
gentoo-71afc6f2551111128a9d86e976a5e4ca22634874.tar.bz2
gentoo-71afc6f2551111128a9d86e976a5e4ca22634874.zip
dev-ml/ppx_bench: Keyword 0.14.1 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_fail')
0 files changed, 0 insertions, 0 deletions