diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2022-04-25 19:19:47 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-25 19:20:19 +0200 |
commit | 8c73cff9fea36d2afe11212e7d23c13329411cf2 (patch) | |
tree | 3c753b98ed9699819ceed596a2c432d643b80e79 /dev-ml/ppx_stable/Manifest | |
parent | package.mask: add ppx_stable to janestreet mask (diff) | |
download | gentoo-8c73cff9fea36d2afe11212e7d23c13329411cf2.tar.gz gentoo-8c73cff9fea36d2afe11212e7d23c13329411cf2.tar.bz2 gentoo-8c73cff9fea36d2afe11212e7d23c13329411cf2.zip |
dev-ml/ppx_stable: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_stable/Manifest')
-rw-r--r-- | dev-ml/ppx_stable/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_stable/Manifest b/dev-ml/ppx_stable/Manifest index 4c65859c1972..7273ec1eb8d0 100644 --- a/dev-ml/ppx_stable/Manifest +++ b/dev-ml/ppx_stable/Manifest @@ -1 +1,2 @@ DIST ppx_stable-0.14.1.tar.gz 12031 BLAKE2B 837a53206d3a8d651d53f665daebbcfde3a1b5d55f1ed13d3ac8feecbd9ba0fb24ad7bb1cf24a0bfa00a41a46c3ef0f84385bc8792685f42ef18facf88ce348f SHA512 1c99a61537a2ce7d40208c64efbf71c54726b228d3746f2afaf9e813b3fed9c8016bb2eb859be24993c7c922a34f574e1028db8e7ee922d4772336dc0496df74 +DIST ppx_stable-0.15.0.tar.gz 18143 BLAKE2B cfd317f98c7683bd2faf29eb386939f07b30798f16e43abdfe9361f9f3d373d4b64ed13aa87f300e5f14052ad1bc636d402af84c9f15d9e26d7b2dc976c812af SHA512 1be50f061d55ea0fcb8bd846955da3ceb07b97986d74a06b41c0f6b5c0dfb3a55f9e39e47f64ae227ecce89dd31dc3b03082031748982419d4ce9a14b5cdb436 |