diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2011-01-20 19:39:21 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2011-01-20 19:39:21 +0000 |
| commit | c56a923609250287e08e5016a300e9c129450129 (patch) | |
| tree | 76a5794c834a9ff06fc75345fdfdc313a72b6cd1 /dev-ml | |
| parent | Import a patch from upstream/debian to fix latest coq build failure, bug #352... (diff) | |
| download | gentoo-2-c56a923609250287e08e5016a300e9c129450129.tar.gz gentoo-2-c56a923609250287e08e5016a300e9c129450129.tar.bz2 gentoo-2-c56a923609250287e08e5016a300e9c129450129.zip | |
Import a patch from upstream/debian to fix latest coq build failure, bug #352174 by Thomas Kahle <tomka@gentoo.org> and Olivier Huber
(Portage version: 2.2.0_alpha18/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/camlp5/Manifest | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest index 27eef6f1624a..1125dd004c98 100644 --- a/dev-ml/camlp5/Manifest +++ b/dev-ml/camlp5/Manifest @@ -2,16 +2,18 @@ Hash: SHA1 AUX camlp5-5.14-ocaml312.patch 703 RMD160 b2b5c500d988ba50a43a44e2c64d2175f9f1f5b8 SHA1 632ec6be5dce8da5427d3352a8d81d11fadef191 SHA256 649fbcd7dd5e6d2df25d5f4a1de15f8b60f941729455bed940fff4d5163dcb6a +AUX camlp5-6.02.1-Fix-regression-in-pretty-printing-of-labelled-argume.patch 648 RMD160 e0f618bf3896f66dc6af0ba357eddbe97743b036 SHA1 53481c13e69befce4370f32571c7a69581d56b97 SHA256 ee4c63f49659a132664d4068b0d416c7ddcef5da7bdb88d10fb0e31f168cfa7d DIST camlp5-5.14.tgz 685253 RMD160 0643a1fcf78d4848fd7090d105911dc43990eb66 SHA1 cae1cb1dfa506f640393c28d9b510a03f947ef9d SHA256 1b45413a3477ef6143ace5185122c162b765d86c6d963ab8bd2b771feda3baa5 DIST camlp5-6.02.1.tgz 651881 RMD160 d26d8d0e1d0f1b3a86f0bfbca43c64f648bc543a SHA1 6d658988d89be00e90fcdccb31d615988b2e607c SHA256 b26828e9040748090a312ff321452ce5b2f8ee2ee90bae36e7b7493cde16623f EBUILD camlp5-5.14.ebuild 1313 RMD160 5f3953d7b86c43d5e92f62406c36499ed866b119 SHA1 484a811804a8f482beb11ddb65e4ce2ffefa2444 SHA256 4f4f1a4d6263c9e99a3d7651cd0ac871dc00e34ecba84f82c551282bb8cb3cb3 +EBUILD camlp5-6.02.1-r1.ebuild 1357 RMD160 e5e42639fa40ff183e6cda71ccb191a01c08355f SHA1 fb1c18f58a2b40bc266031eebf70b54b6c90694b SHA256 74c3b6f58a458586d33fab7989baeda00086aeb22200de72612867b8a0f22b1d EBUILD camlp5-6.02.1.ebuild 1242 RMD160 cb24ca7a859dd8dc0afdb21eb0247323dfe13278 SHA1 38cd0253a21c417a1d09ef5ec7b68a1264183d51 SHA256 ddd81e05b174e3e3a83ffcff26d142550053c63efffeb12877ee4019a7e2fb71 -MISC ChangeLog 6286 RMD160 373f46c0bb11a45ee4b61c859a0334a8bfcbc805 SHA1 79764224faf210b5b00cd86e0d52de2275af3034 SHA256 3d400d6661c56d48f3a5ad1ab0c03b74170eca1f3e9a6a64b95025ed3ce2a7d0 +MISC ChangeLog 6622 RMD160 2f08f1f99c921d2508287892219a181da7bf7f8c SHA1 35a4801b93bb17e3c3cec632631321737b1b556f SHA256 a7d593237a9826a127ab14434a90b8b8080f383146448ff8c98fcac6b64af2f7 MISC metadata.xml 155 RMD160 dfaa057e679b01302a807c75a32a910098b26809 SHA1 94024f83dcacbb53e92be090dd0f994ec93dc90d SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.16 (GNU/Linux) +Version: GnuPG v2.0.17 (GNU/Linux) -iEYEARECAAYFAk0UxJ4ACgkQvFcC4BYPU0p9KwCeI2oxTOgdF7SUx5jsBnRiURQC -s3sAnApsMrfMht06Jf2hW3BBQ2HNj94x -=4Gm/ +iEYEARECAAYFAk04j2AACgkQvFcC4BYPU0pB6ACeL9oM1NcOazNZZvvbQIIoMH5F +pHMAnA2NFxUUK7RFP/qFqaexLG7613ge +=gdd/ -----END PGP SIGNATURE----- |