diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-05-24 05:49:59 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-05-24 05:49:59 +0000 |
| commit | 8c750a221b202005df1f18b5eb0a05b9cd2fc3c4 (patch) | |
| tree | e0bf56eae97d635cdf993c6da5732b7d4e9ed93f /sci-mathematics | |
| parent | fix bug 466776 - typo in email address (diff) | |
| download | gentoo-2-8c750a221b202005df1f18b5eb0a05b9cd2fc3c4.tar.gz gentoo-2-8c750a221b202005df1f18b5eb0a05b9cd2fc3c4.tar.bz2 gentoo-2-8c750a221b202005df1f18b5eb0a05b9cd2fc3c4.zip | |
fix bug 466776 - typo in email address
(Portage version: 2.2.0_alpha176/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/prover9/Manifest | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/sci-mathematics/prover9/Manifest b/sci-mathematics/prover9/Manifest index cb3f2da510bd..5b41d77a70ed 100644 --- a/sci-mathematics/prover9/Manifest +++ b/sci-mathematics/prover9/Manifest @@ -1,16 +1,16 @@ -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 -AUX LADR-2009-11A-manpages.patch 13832 RMD160 9e53ec550fab18666d66157297aadf5476fd0396 SHA1 de7e0b351b04c405bfb0a26b433c1cb4fdbe51c8 SHA256 d9ecfc1a476d1e06a4b83dc3a96a57c3cf78943571e910ea4be420ce5a255371 -DIST LADR-2009-11A-makefile.patch.bz2 4347 RMD160 bf5095f8088beb618932ba8e51f8e39a994248a1 SHA1 65403a4c7581c6fc60259dbb188a7edb42409f58 SHA256 6888de46540e493adc797b574cd17fab711d47902709a839aa1a9dbd075d7e2b -DIST LADR-2009-11A.tar.gz 1795750 RMD160 b4b1af8af6b7bdd7c1f286789a1e16e38589590e SHA1 0b30a80f36512c0958b0e77ce18d0d8056e33bb1 SHA256 c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 -EBUILD prover9-2009.11a.ebuild 4811 RMD160 9b40969e91201e20f196da7d7a317624bea301e7 SHA1 4f7fbb945a5c7529a82816b88faa2e9e6d5599df SHA256 3333a950a87c6cac26b1ff8ec6ee543b5b3dddda806f9f8c525c99f319968d10 -MISC ChangeLog 688 RMD160 54b487044d65302917e35017938e1e7f88198c61 SHA1 c841c71747e0b5cecdbcc006d51b991d3fe7a67f SHA256 3354dc19bb23acfefe660937efb1e14c1e3c8aca77c4409fbd06dbe37295f308 -MISC metadata.xml 486 RMD160 a866bb4ae53de80aeb934647cd7c849341975a43 SHA1 cb84c6ea3459640c1b960b752f30b92a969c99bf SHA256 4030eae81beca07ab3a2f6c2db9f100471c05d27219fbad21234a09ff1154708 +AUX LADR-2009-11A-manpages.patch 13832 SHA256 d9ecfc1a476d1e06a4b83dc3a96a57c3cf78943571e910ea4be420ce5a255371 SHA512 4c9f862b33d7b6b33b5e4a82b38418c6ae41b7adae565d376cc741608eb989e3846c1e98589dea62f7cadeb0b1f0f5814afe95ee6cf0da63c6961620d8b2677c WHIRLPOOL ce25b003f4ea4262e2431437e840d188ac73bab08f2397d7869badb9adfd783e58fb09d01ddaee983fc4b9078b716cb04958125df800984bdb486f11badd39a6 +DIST LADR-2009-11A-makefile.patch.bz2 4347 SHA256 6888de46540e493adc797b574cd17fab711d47902709a839aa1a9dbd075d7e2b SHA512 836923ca48f36e3f0dcb9b84e3e1adc9eb6e3ceee2d7c29960a26b737a7c8f592777aa8b2a9fcd8dbe6c5da67b733de94c49cc6377edcaf404a4582bdc903ac0 WHIRLPOOL 0a42b11adf27bbbf01970ad7ef049fca74fd53e7de16b4872a8b826572aaef0bda60d4805f2a6a6cc92068a4905da8dd7f928e25bc1bcbc4c5f9ddc0d9a26e48 +DIST LADR-2009-11A.tar.gz 1795750 SHA256 c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 SHA512 f26d3713eb2ba809fb3d55ce179e9d91555ab9166e075aa0843bafe57ce00f153cfed178b61993d4fd471655840e4f40775d75dac9fb5242a67e5d59c970dfc7 WHIRLPOOL 6e6abd1a5c7bfc988fb693eeea08bdfba77c9badea3d4a77764efcb9ee16c36b372241fbf4d4dead911cabf9a03721988f334977379da47d04b4320bae257fad +EBUILD prover9-2009.11a.ebuild 4811 SHA256 3333a950a87c6cac26b1ff8ec6ee543b5b3dddda806f9f8c525c99f319968d10 SHA512 a28aceceb5ba19805132e5de20e92599cb97099ddc74f8b0c6669eec6dfc0d45f8b39f52dbe2798b82717b93c8436501b1b493608deb20a539d673fb0cc9b8a5 WHIRLPOOL ffe83078da6e7a05916b0598495732ec39e170f2da44788fd7b5094573a101ac8c9f38a72a1a75266183ba9ce1332939ef66626c6cd2a9f1acbd834c22e56022 +MISC ChangeLog 790 SHA256 0fb68b8f5b422d005f385a2d8a8d1361627a52a23014e3f270db54fc94b81f82 SHA512 c7d277b26539cfc3678f709c7154d7a9fb69b24398b678baaecd9b9a4e7f409caf245641dbda83f392d35f3be1b4bc029f35440444669ea1b1d879dec2638e41 WHIRLPOOL fd9d42ee926adfdde03b7092838f3ca10c042d43b02081201aad72c4e161108833a314d2be462901b5a241c53f75a7c1a623d0c169f8044e033e496cb1b97b2d +MISC metadata.xml 512 SHA256 30e262e89ee011733e85fe89ed6939ca7f9cd2ca2ca2d087b3e1f15167deb5e8 SHA512 e7588f5a5d002445ac08873e5535c561298f0b305be6f689ceae3fc0b17bd643c9e99d41b8b4521d672d708977003c0d617985cd82c504b058c4f31ce286bf8c WHIRLPOOL f2b2b20e8943b315d1caf47e01842e3220fd0a74eff524a867ab9ae9aeb20c0b7685aa0db35e55d161b77348975f489776872f6e298d10bb2b70bfe2decde3fd -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.17 (GNU/Linux) +Version: GnuPG v2.0.19 (GNU/Linux) -iF4EAREIAAYFAk8mJ9QACgkQoBEVQmGOlx8r1wD+Mkgaw+BZ0tkwf8uqBxcl0dGX -VLsLMDLl5Vl1v+1s6VkA/jowPPJ5kuEbRu3ZBrrKNreDnltqo4T276m8LB1iBUXD -=8oqR +iF4EAREIAAYFAlGe/uEACgkQoBEVQmGOlx8NQwD/T9oAWggUg3dW9xmJ0A0NJs9w +k59vSQikclo7OxQ4iZkA/2LpjMQ9MjkwgSdAVeG0SIziOTpdyGvjdMVLLyGC4q+R +=C01t -----END PGP SIGNATURE----- |