summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2023-06-30 21:58:24 +0200
committerAlfredo Tupone <tupone@gentoo.org>2023-06-30 22:05:34 +0200
commit7ffee1215166154d67f653ecd26bd647d1d1d16f (patch)
treeef018b511d0353f29246051c3046371dae15712b /dev-ml/ppx_pipebang/Manifest
parentdev-ml/ppx_sexp_value: add 0.16.0 (diff)
downloadgentoo-7ffee1215166154d67f653ecd26bd647d1d1d16f.tar.gz
gentoo-7ffee1215166154d67f653ecd26bd647d1d1d16f.tar.bz2
gentoo-7ffee1215166154d67f653ecd26bd647d1d1d16f.zip
dev-ml/ppx_pipebang: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_pipebang/Manifest')
-rw-r--r--dev-ml/ppx_pipebang/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest
index 8705c60c84a2..3da78098e74a 100644
--- a/dev-ml/ppx_pipebang/Manifest
+++ b/dev-ml/ppx_pipebang/Manifest
@@ -1,2 +1,3 @@
DIST ppx_pipebang-0.14.0.tar.gz 3766 BLAKE2B a2e99dd5e27ddbca5d77b1c215757d8d0d2d54b53511f0db93a09a16c25b5c5e429a08c8d42c7e4843eeb23c346649dea5700c445afe176f4b1625340901b6c1 SHA512 b07004aef0865c877f8f814068b514298568078785586933f400350d1a1dae3eb4aafe1ba4f12e17a3e2a3945297162c4a725ebfbc153e80b412c6086019959a
DIST ppx_pipebang-0.15.0.tar.gz 3759 BLAKE2B 6d2a45a4b803a777dcf055acccbea3e54a86458d01032efd01d204cf3426b496b9d91047216c11a424ef5e7ff92fc729d1ef8fb616f807c21f512be52013665a SHA512 778dae2cd6176f9ce18f20486e16f6f76e9137095759b29ddc10fee15d8a21f51fff94245c4a750ae68cd75edbd06b9cad6ff1b56aacb38ac9e6d7d71c0bf701
+DIST ppx_pipebang-0.16.0.tar.gz 3755 BLAKE2B 2aa33958dd9b6abdaed4d38c7d627fa3cd1b0328bc01fc3eb8761ef9d60f9ba26b8be17975712d91c177fcf8c20e17da69c49ff676b2946a783e3674e30597c1 SHA512 b333d189c2705b3c7175af5636bd63c38ed434b3828227c7db8d2cb0fe9bd4caa05975d5d28d8fb4d61656bd3d7a15e2db2b36a1672107c1557c5012c19cb445