summaryrefslogtreecommitdiff
path: root/dev-ml/camlp5/Manifest
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2015-11-12 12:58:47 +0100
committerAlexis Ballier <aballier@gentoo.org>2015-11-12 12:58:47 +0100
commit6d3a5b578f417894c8b9b84c9f0bfb0900ba49d4 (patch)
tree1fd19d53364de35e42741f5b9883d9506c1616a8 /dev-ml/camlp5/Manifest
parent6226d8bdc7d0a6231398b1d92fd50a3c1f1bb84f (diff)
downloadgentoo-6d3a5b578f417894c8b9b84c9f0bfb0900ba49d4.tar.gz
gentoo-6d3a5b578f417894c8b9b84c9f0bfb0900ba49d4.tar.xz
dev-ml/camlp5: remove old
Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/camlp5/Manifest')
-rw-r--r--dev-ml/camlp5/Manifest2
1 files changed, 0 insertions, 2 deletions
diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest
index c78bd262a92..9c3a3724271 100644
--- a/dev-ml/camlp5/Manifest
+++ b/dev-ml/camlp5/Manifest
@@ -1,3 +1 @@
-DIST camlp5-6.12.tgz 716173 SHA256 b716c8b248289205bc76823000bc0b0988517cfcfd9c2eb1a3c43cc2cd7d5c02 SHA512 33cf0738b0f8f1daad0f40158654c32a7a4b1559671c6f95193a9c71bb0fdb7f8328a3d012c5fdba83fe940882588a6e12c242a7585dd193974d4f7dedbdbc12 WHIRLPOOL 76d1d2c3eaf8781e594a66e50b2b2d2858a11310b7f8ed5f43cfef2d6598acb0ae573a4ab16154d8aee1d51043cc0e7a24fd9c0fb2d92651000a5100d0a9a50b
-DIST camlp5-6.13.tgz 719912 SHA256 d1e948c04079e417d2b616f03f57cda9b6111c563d7ce59a8956ac93772e4aa9 SHA512 184280c0de77c72125c82b4ad93cba0af713374838248a3f0250b775a75f1a0a34d3c48a037fb91601d70a637cdf6b005222f866a700bb024c4a0caa8dbc41b7 WHIRLPOOL feef006286a0011157dc5076fb7397a2de651e831ed26a90ed80f1bc3b36f8eb35d2c7fd3eff4a37501a729314e921b7c7aaa7715df8bfba5408976ff28bd127
DIST camlp5-6.14.tgz 748674 SHA256 09f9ed12893d2ec39c88106af2306865c966096bedce0250f2fe52b67d2480e2 SHA512 7dd57b8725953099726fc2e5f6dda01ed74485a4bbf41cb30ccd2163ee38bc6dff36fd83069c58d7990522527d266c9e180a8e333b36a42bc216315dc88a25e9 WHIRLPOOL 305bb842e449775352cbbf3c89a301a188419c10462f0959b00e181596218b5251dac50856f152ad471fd680e557e6595978c395e9c2864c38ddacd7287c4e3b