summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2023-06-30 14:43:12 +0200
committerAlfredo Tupone <tupone@gentoo.org>2023-06-30 15:13:55 +0200
commit063737b33759e5442e84c83aca2d6f6544ef1b6d (patch)
tree2359948d54e694682ba02f3576655642952cd988 /dev-ml/ppx_optcomp/Manifest
parentdev-ml/stdio: add 0.16.0 (diff)
downloadgentoo-063737b33759e5442e84c83aca2d6f6544ef1b6d.tar.gz
gentoo-063737b33759e5442e84c83aca2d6f6544ef1b6d.tar.bz2
gentoo-063737b33759e5442e84c83aca2d6f6544ef1b6d.zip
dev-ml/ppx_optcomp: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_optcomp/Manifest')
-rw-r--r--dev-ml/ppx_optcomp/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_optcomp/Manifest b/dev-ml/ppx_optcomp/Manifest
index 111954f46720..d5b4b8e71731 100644
--- a/dev-ml/ppx_optcomp/Manifest
+++ b/dev-ml/ppx_optcomp/Manifest
@@ -1,3 +1,4 @@
DIST ppx_optcomp-0.14.0.tar.gz 16583 BLAKE2B 9b139708e02501245d5440a862324fe0191c9c96772e6599ed474a734263c4d2c0fa08fff666abd2efb218ec03a2b9b47c5ef6480d53a8d0f280550b741ac39a SHA512 e86b108d805500cbd7be628f41436ec8de0e8622d4218631d01bf73b0e70da0a057b8531465206baa9b8851ce9c22c5cd53921fccfae352ee46527d69964dc44
DIST ppx_optcomp-0.14.3.tar.gz 16749 BLAKE2B 3c6dd2b5ac0a10e3d95c6a734ee09b0bef8af6d949c9f31150f1f8ac14ec72bb06455c3bf0c025bc99b939fa86b0d730abd8aefcdbd3998bfc16eef7a6a766bd SHA512 73b53dece639aebe20a8c9eaec50f6f491ac8163d96ceab66169d99f9bb50ed9c40c38731cd6e8543dae97c3a45650733d622e5bd4a2db812000c4694c823157
DIST ppx_optcomp-0.15.0.tar.gz 16699 BLAKE2B b13f9aa50bd46a9ea552677b0c9bc611b6657e6ba7cff1e06d6489d2ffaa646bc3643eee08dbe07f52130ea27b3e607bbf620b0a94f8acdaf7bd045ab1a1c536 SHA512 302c2ab79c46a16b8a256167958ad9a87b34a2e7ddc70c7a5476cfb0feffc7de7bebc79c272526698e87804859555176facfb04bc72f3b4373c1cb138b1264c7
+DIST ppx_optcomp-0.16.0.tar.gz 16789 BLAKE2B 102c9daa01a9fbda926d0ce11546bb7a5a9520f00a57e504e88da383ed793498f23bd6de672f55116d2844a9e474d9a0c3471e7438e91c7019d6384acb40252d SHA512 8a10136a16423723a8cd1414ebad2c2029e8d28c563ce884eaceb85a363df7f019a08cee6194f7dbbc0290666909dbd9557d2900a8ce055ac57069364c785806