summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-03-15 03:11:29 +0000
committerSam James <sam@gentoo.org>2021-03-15 04:01:46 +0000
commit5f83bf5c0862a729f58bdd1511c136ebf9d6fcc3 (patch)
tree2dcc3cb8389bccf5d88280ddc0c2ddffa3a8effb /dev-ml/ppx_tools_versioned/Manifest
parentdev-ml/zarith: drop 1.7, 1.9.1, 1.10 (diff)
downloadgentoo-5f83bf5c0862a729f58bdd1511c136ebf9d6fcc3.tar.gz
gentoo-5f83bf5c0862a729f58bdd1511c136ebf9d6fcc3.tar.bz2
gentoo-5f83bf5c0862a729f58bdd1511c136ebf9d6fcc3.zip
dev-ml/ppx_tools_versioned: drop 5.0.1
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 2b4692af4cb8..40da2fefa2e5 100644
--- a/dev-ml/ppx_tools_versioned/Manifest
+++ b/dev-ml/ppx_tools_versioned/Manifest
@@ -1,3 +1,2 @@
-DIST ppx_tools_versioned-5.0.1.tar.gz 43741 BLAKE2B 0ff7dc5a03265a7e9fea6bebe372cee993f35d2d2ec451d5f77a1c7de51f91526bf15817882ff93033b3fcd51014efa12841a92cedf243870a22790f00807e9e SHA512 4d47f82c5a05f880dbb3d10caac6de705b9609c488d62be84eb1ebe22fa8c4e3716fad7c546035e955bd0e304d7940f23df090470f86c8d862b549b9db387acb
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