diff options
Diffstat (limited to 'dev-ml/camlp5')
| -rw-r--r-- | dev-ml/camlp5/Manifest | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest index dc4535064e5f..dbfa0918a38d 100644 --- a/dev-ml/camlp5/Manifest +++ b/dev-ml/camlp5/Manifest @@ -1,11 +1,17 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + AUX camlp5-5.14-ocaml312.patch 703 RMD160 b2b5c500d988ba50a43a44e2c64d2175f9f1f5b8 SHA1 632ec6be5dce8da5427d3352a8d81d11fadef191 SHA256 649fbcd7dd5e6d2df25d5f4a1de15f8b60f941729455bed940fff4d5163dcb6a -DIST camlp5-5.12.tgz 685032 RMD160 4ba66bc3addff65208a70802371c0987b136d8c6 SHA1 33dd83e33e8554f88004d2c4a57dcf92a5881700 SHA256 985a5e373ea75f89667e71bc857c868c395769fce664cba88aa76f93b0ad8461 -DIST camlp5-5.13.tgz 684951 RMD160 a648e0c381d0778ec8e5371c685a495bccb44b6b SHA1 b7aba330497a47d99efae8fb0646f9f86bbaef0c SHA256 5e6e4663ba642f29a440359318df6c0cc32203e646aa9ee7e41c6b02b4f876d2 DIST camlp5-5.14.tgz 685253 RMD160 0643a1fcf78d4848fd7090d105911dc43990eb66 SHA1 cae1cb1dfa506f640393c28d9b510a03f947ef9d SHA256 1b45413a3477ef6143ace5185122c162b765d86c6d963ab8bd2b771feda3baa5 DIST camlp5-5.15.tgz 714641 RMD160 48f9f409f85e9c1f9a5057e0869fba71c70e969c SHA1 7ccde66923e2ecb07981a2742dd315e637e37e67 SHA256 d8263b8dfcab96cecb903c576ad51e746d35ee41e8dc77529d1a377f1de5a5eb -EBUILD camlp5-5.12.ebuild 1251 RMD160 c39789132d66152eb335e50f15638c5566da5125 SHA1 7b454787ea261e2b8aadfbeb1c5d1a7e4bf45db2 SHA256 c2b9a21a37efd19e5f98ef7a164517162f2e73c2437ae39e215ac8d4353c97e0 -EBUILD camlp5-5.13.ebuild 1257 RMD160 7fa3849ff66bd1d205fed3c994306272e3107898 SHA1 c79cea9af059f837e6c1ce77b0ea0781bbf859e0 SHA256 b8b354e48d83249b3f429c4a4e28eeeb3731afc27768cc9f6497781ef72d8a68 EBUILD camlp5-5.14.ebuild 1313 RMD160 5f3953d7b86c43d5e92f62406c36499ed866b119 SHA1 484a811804a8f482beb11ddb65e4ce2ffefa2444 SHA256 4f4f1a4d6263c9e99a3d7651cd0ac871dc00e34ecba84f82c551282bb8cb3cb3 EBUILD camlp5-5.15.ebuild 1250 RMD160 81124cdfa138cd3ab2968dcfc01f54b917aa2172 SHA1 57f411ebf88dc0e6d86cc034134be354591ed58d SHA256 348862a63b1677554421107fceb1d98f2b12959571b6530a00abbd6d1dd6e381 -MISC ChangeLog 5821 RMD160 67277e50366672922594e2d2848508bb84d2019b SHA1 b46b20cda2a5edf015aeebac0b5c0dbf8a2590a2 SHA256 e0dcefd5523abdaf43a7c58fda01298dcaddd8fa6201fadeca32459707a6a882 +MISC ChangeLog 5932 RMD160 f9b1ad425516508074eaf323a9142a9e92e3c5da SHA1 8d5641a166c6756d4312c1998775942415f09d8b SHA256 03f77c4836b0005291e9b7bf8fbcf617e43a6e861ee16f7ee253bb80500a0a24 MISC metadata.xml 155 RMD160 dfaa057e679b01302a807c75a32a910098b26809 SHA1 94024f83dcacbb53e92be090dd0f994ec93dc90d SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.16 (GNU/Linux) + +iEYEARECAAYFAkyjO7gACgkQvFcC4BYPU0q2HgCffR/pMz0VWcM6jV8UGZ7Bhtv1 +HEQAoMT7yRzi/jKBVz8/Gvst2EBpHIhh +=yZ19 +-----END PGP SIGNATURE----- |