summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-ml/camlp5/Manifest20
1 files changed, 15 insertions, 5 deletions
diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest
index 9c4cc0ae403b..f2a927ac9a54 100644
--- a/dev-ml/camlp5/Manifest
+++ b/dev-ml/camlp5/Manifest
@@ -4,13 +4,23 @@ Hash: SHA256
DIST camlp5-6.11.tgz 686711 SHA256 65521c1d316ea6c0e794d07bd331bdb091840d3ab41c16b50005d7685a2cab37 SHA512 e9a4393810d677d2bfea264f43b2cfa1f86956f3f201dbeec04d864f051c652420488562fa5b3da54455bc939374a32e1ee87d9b868a4e7b18245e14dbe14e91 WHIRLPOOL 6e5482d3f9f44f21b82e3413402fc8032d570908bacb8d184a9d0a6ad005b84b6db1f353bd0da9d5d59c11637b81b4f8a8fd0705b2840935b63671a6e90bf4dd
DIST camlp5-6.12.tgz 716173 SHA256 b716c8b248289205bc76823000bc0b0988517cfcfd9c2eb1a3c43cc2cd7d5c02 SHA512 33cf0738b0f8f1daad0f40158654c32a7a4b1559671c6f95193a9c71bb0fdb7f8328a3d012c5fdba83fe940882588a6e12c242a7585dd193974d4f7dedbdbc12 WHIRLPOOL 76d1d2c3eaf8781e594a66e50b2b2d2858a11310b7f8ed5f43cfef2d6598acb0ae573a4ab16154d8aee1d51043cc0e7a24fd9c0fb2d92651000a5100d0a9a50b
EBUILD camlp5-6.11.ebuild 1466 SHA256 6ae8126869a0bdfdff48c83c3e607eb2e2ebb7b1f55ecd03b1e7075f3cabb6bd SHA512 87d3501c7892f11fdf2304d3d311410137368d7ed4621d304364bdf86d88c42986bcef4390f891428aa2b838cd19a92f25c70415b3c9299cc58bf16e322794fe WHIRLPOOL d436ec193c0f70b8980386397760fa37d7c1ff0f30351ac51e9c7ee0771f0bd6424938f6cd5c348601c2a7a33f2e5a025c35a369d3460a3b1d83df1c0989a956
-EBUILD camlp5-6.12.ebuild 1469 SHA256 f46e690bbec9b65bf71eddd7fb85ff10be14f07b440b4c367a845a57e3785c3b SHA512 90379020e647523b263b5503402dee3503d05a54e9b21b9a85a4a027df67b925b0242c55d883570394dc30fc0bf6165f6f4a935526cf3a28627a4bc94d38332d WHIRLPOOL 1217073447dbfc076a66aeb43a0a0016c0af719ebc1aee5ecfd528053729af9abec00cc3489bbeca8eab7e1ec6f30a67c669385c357b5ddabe12612f3564fd9b
-MISC ChangeLog 10256 SHA256 176dd1ccacee9e13c7db441929b50f9d47858a5be629c5c472e3c28d92334290 SHA512 307bd410cc73b14d407a38b9ec6b6cd8f3b5dc23a51f002aa39a32780ea430781b0e026dc06c53f5f3d54ebcada40b819e93cfccf9ad01adcbde8f47e00dfe0d WHIRLPOOL 1f04693e643c2871f66e6d00fa9ccb3d25825cf536168b34a3b9bd5dd97772cb52e0e0d30be92fbb5a6bae628f7beb542905581e93bdaea070964d50b683f96c
+EBUILD camlp5-6.12.ebuild 1463 SHA256 e087d9ee5b51d3a819b8252c0a8f3d778c1b0b8bb68505669839c1c0cf869e9d SHA512 31858726efc29c6a6fd745597a58a4278b3b0dd3d799a696c7ab4d19de02d607bd43641b30c9fbab4b483732a0dc9ceafe3995e1b2a4980b85a109e1baba8170 WHIRLPOOL 8b25bf6475e854acdaefe3bf1da8ace5124dd99dbf8c5cba89129b773c0ca513ee25960a1e9453ee58e365414433f1575a0ea1ca8bd831d7c280b11782cbb6a0
+MISC ChangeLog 10357 SHA256 1e798d7898a51b68eeab2aa1155fd086c0dff1dfbca205bfd25737b1190500d9 SHA512 ce62d18d4c2c1dd57caac75a766bd45d0098aa36a6eed9eaaf1e1d96e327f0bb49994bdd9b0500baf23879b8744302825f258c3453795c14217ad93c6e4c7d61 WHIRLPOOL 584fd6934177a7fb18339b56cc9635001075d578bbc927de437dc86169da063b0b7546cff403ec4fea5138801a34e8d6dd4a294c5792a8491972cbeb49142111
MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
-iEYEAREIAAYFAlRJCf4ACgkQvFcC4BYPU0rgNACgvMZYBOWhqLJ/n4FY9QsGpvDq
-HsoAnA4K+g8UlVxKUKA751tvsiOTm0mg
-=f3cv
+iQIcBAEBCAAGBQJVXd2wAAoJELp701BxlEWfDxQP/1BkGSQa6qLtqmiYwoq0Eeet
+R0dCu6CcCcJAEoM8QVCfSV9QXpJji7gAtwO8oVpE+roe42qXGYYgeBci5gPBIgWc
+Cy9uStT8Pt55dBLqp5Z5kH/OJSKBQvKJWMBDhPH6q2/fLGB9/oJhNoI0kOAowHRf
+UD4i/4R4a2Xinh5+yQV1d6UdBcu02lMpjWiRdQkbBSZobVBSKsasQl8WkxTLD03o
+XB8pY5T1WG54h+BlkZ1o1pzsw+69fymh0pko7NOM9pJPjWHjjU3ux1SN//U0MYLf
+8lFXHgGwvAGNTog66E/fDsqu61tQWSzVyoZn3fsF9BvflkPbmIOgRjuVsm9k8PDk
+c3iRMDyCrc7n2NpuSb2URu4yhWvhfI9hDiTdyIqF4x7bxpMfQzRH6HosuW1NiYi7
+VF2BpWhIRewIejirQ+C42qAeR5Lveiv636bA/ovliY7lS79oetd3Q2PDUY0JB/Oy
+LgVlDSI9Vbi5E4M21xfkGVTjsfsqU4M2WahcTscvMYCcDlJLi7xDB4LZWk3DIIqO
+d0BfAE61jE67sDYQqLiJZWg2c6FSS3DLWABi7acmzwCkImSF24EexneVKfpkLZkV
+0jzRQXPDblK9fNe68KVYKIXx4oIT14kn4EouU1EEIkcO2cGNkfZPV5RrEScJ/35z
+WszGqutPIIbJisCaviXq
+=r+DG
-----END PGP SIGNATURE-----