diff options
author | 2021-02-11 06:25:31 +0000 | |
---|---|---|
committer | 2021-02-11 06:25:31 +0000 | |
commit | fc53d15826be3a26785fa2289e174fa893a87158 (patch) | |
tree | c8dcd42bbbcbe965926976557250aecbefd24fb0 /dev-ml/ppx_string/ppx_string-0.14.1.ebuild | |
parent | dev-ml/ppx_pipebang: Stabilize 0.14.0 x86, #769317 (diff) | |
download | gentoo-fc53d15826be3a26785fa2289e174fa893a87158.tar.gz gentoo-fc53d15826be3a26785fa2289e174fa893a87158.tar.bz2 gentoo-fc53d15826be3a26785fa2289e174fa893a87158.zip |
dev-ml/ppx_stable: Stabilize 0.14.1 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_string/ppx_string-0.14.1.ebuild')
0 files changed, 0 insertions, 0 deletions