diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-10-13 13:23:50 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-10-13 13:23:50 +0000 |
commit | 10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c (patch) | |
tree | e0f0e1f3de04ed08b96d0bb1db0a9b560769d19c /dev-ml/ppx_fixed_literal/Manifest | |
parent | 2020-10-13 12:37:15 UTC (diff) | |
parent | profiles/arch/x86/package.use.mask: Mark dev-ml test deps (diff) | |
download | gentoo-10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c.tar.gz gentoo-10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c.tar.bz2 gentoo-10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c.zip |
Merge updates from master
Diffstat (limited to 'dev-ml/ppx_fixed_literal/Manifest')
-rw-r--r-- | dev-ml/ppx_fixed_literal/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_fixed_literal/Manifest b/dev-ml/ppx_fixed_literal/Manifest new file mode 100644 index 000000000000..c228adbc79c9 --- /dev/null +++ b/dev-ml/ppx_fixed_literal/Manifest @@ -0,0 +1 @@ +DIST ppx_fixed_literal-0.14.0.tar.gz 3643 BLAKE2B 7b84dda448f179e778356c3fd5cfdd1dbcb479e03d4e6a9bbd6d2b47c748d0795c18605a86e13e5680bcf23f383d99513408a441fc1fba188d66dad0bd58e875 SHA512 5e30c5238c20a4b6f164ebe29b5f6d4bc074f03fb62aac30a1d129c4fb466124bb163c45e6cc95ad34385ee2e621cf3a1366d3bd9b224438fc575f862f6f73c2 |