summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-11-13 23:14:52 +0100
committerAlexis Ballier <aballier@gentoo.org>2017-11-15 07:57:39 +0100
commita5835ef1ba0e67d3768541c677f0b258e80452d0 (patch)
treeea4cf9d714e4b9d73d123e1c3b4ea95d9134e246 /dev-ml/camlp4/Manifest
parentdev-ml/ppx_tools: remove 5.1.4.06.0, moved to overlay (diff)
downloadgentoo-a5835ef1ba0e67d3768541c677f0b258e80452d0.tar.gz
gentoo-a5835ef1ba0e67d3768541c677f0b258e80452d0.tar.bz2
gentoo-a5835ef1ba0e67d3768541c677f0b258e80452d0.zip
dev-ml/camlp4: remove 4.06_p1, moved to overlay
Package-Manager: Portage-2.3.13, Repoman-2.3.4
Diffstat (limited to 'dev-ml/camlp4/Manifest')
-rw-r--r--dev-ml/camlp4/Manifest1
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ml/camlp4/Manifest b/dev-ml/camlp4/Manifest
index da827fcfe7e..48b32e950d2 100644
--- a/dev-ml/camlp4/Manifest
+++ b/dev-ml/camlp4/Manifest
@@ -1,3 +1,2 @@
DIST camlp4-4.04_p1.tar.gz 648320 SHA256 6044f24a44053684d1260f19387e59359f59b0605cdbf7295e1de42783e48ff1 SHA512 7db8eebcf3d230f60650ba62d9cb630c069394237e97b678a40b61d3dcaded752a2b7e089a50ff528f1ea0740d0291b722df123a072f2cee489cadc5201c6776 WHIRLPOOL 6cfed59e81dbd92debe23670657eb7e96125105fccb7b20a8e16553090cc9a0e8c732b8e0cac1a9b39e172aa8dfaae145ba8827948f371aeaa69345f3ba39096
DIST camlp4-4.05_p1.tar.gz 647566 SHA256 9819b5c7a5c1a4854be18020ef312bfec6541e26c798a5c863be875bfd7e8e2b SHA512 0ee9720286d0d832fb7d2d21a8877856e0e47c94c86b1b58d28f8e757a18472eecb56a16e3a04ce815f240dd5048f5d597515461d084fd1cf4da1b121f97a3fe WHIRLPOOL 0f89cd42bac84ba13d373160bf33452fc1cc31e0f6529aa1da2ff372e5cbb69868247461c17ac4fccd50528f97abe8009d899129c73afab8ce799791b259cc77
-DIST camlp4-4.06_p1.tar.gz 648566 SHA256 b1cc51449da0537f6886e380815b716e7adc9d9a12d6098a06db2b2525bab922 SHA512 32be92c4e64a985a3d2880e2201351961a4b7138a8be6e3f17e9b8e038a1660d13596f29fe0249c8c4183cd8cd06277cebc58f42609c8d2028032e893490fe43 WHIRLPOOL 0bb305789379ab043aa9be462fecdee3a043cabef2570c2dfcaa343e0dd7012626ca68c2a351be782bc75ce2a7737fc3f0f2ec233c5f0320b6f67de10184df71