summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-03-15 03:14:23 +0000
committerSam James <sam@gentoo.org>2021-03-15 04:01:56 +0000
commit8e8f91ca93093f3bd3b637b3a82f9d8d7c20fbd7 (patch)
tree0fef4919d62c66077f041e42883e7a403c337e1b /dev-ml/ppx_tools_versioned/Manifest
parentdev-ml/ppx_deriving: drop 4.5 (diff)
downloadgentoo-8e8f91ca93093f3bd3b637b3a82f9d8d7c20fbd7.tar.gz
gentoo-8e8f91ca93093f3bd3b637b3a82f9d8d7c20fbd7.tar.bz2
gentoo-8e8f91ca93093f3bd3b637b3a82f9d8d7c20fbd7.zip
dev-ml/ppx_tools_versioned: drop 5.2.2
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_tools_versioned/Manifest')
-rw-r--r--dev-ml/ppx_tools_versioned/Manifest1
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest
index 40da2fefa2e5..314018a2a239 100644
--- a/dev-ml/ppx_tools_versioned/Manifest
+++ b/dev-ml/ppx_tools_versioned/Manifest
@@ -1,2 +1 @@
-DIST ppx_tools_versioned-5.2.2.tar.gz 60068 BLAKE2B 0b965d2124852e8ea3c8f4187ef320a3054eab4f969bfd64f4bb647e1381cc6f571b74d5176a6da59003ada89982a63b605f45231fb0bbf4ebec7da959e76d1e SHA512 68c168ebc01af46fe8766ad7e36cc778caabb97d8eb303db284d106450cb79974c2a640ce459e197630b9e84b02caa24b59c97c9a8d39ddadc7efc7284e42a70
DIST ppx_tools_versioned-5.4.0.tar.gz 91817 BLAKE2B 0de64bbc0e7626306389eb350119262e1b1dbf1c643a62d4b2363f06203567e719962fc64727de65aa204a488381f8e48bbbe1243e9908823cb242222162bc88 SHA512 7f0421dbb42b43acc4f7892ac1c4c0ac13bdc188400d308688c4548b228aaf8bd80a4e2294672b50c78ac61e3c8df148c98d16b59f48292f02be40e7fd9640a9