diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2007-10-11 10:04:35 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2007-10-11 10:04:35 +0000 |
| commit | 757a69976c3a04c089fb08b534be078152871117 (patch) | |
| tree | 55857a0c790b49b4dc439d6384719a1337592120 /sci-mathematics/coq | |
| parent | fix configure call when ide and norealanalysis useflags are set, bug #195483 (diff) | |
| download | gentoo-2-757a69976c3a04c089fb08b534be078152871117.tar.gz gentoo-2-757a69976c3a04c089fb08b534be078152871117.tar.bz2 gentoo-2-757a69976c3a04c089fb08b534be078152871117.zip | |
fix configure call when ide and norealanalysis useflags are set, bug #195483
(Portage version: 2.1.3.12)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 3dcb865f8ba6..c4ca75435685 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,3 +1,6 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + AUX coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 SHA1 7f2d8d87a2743ed0bfc1cb45ebaf8acf1ddcc11d SHA256 4bdd7fcddd5a1f845be8df40f9a5b7d7fee1cf88bb744866804ab1da4253a2d5 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 files/coq-8.0-byteflags.patch 676 @@ -28,14 +31,14 @@ EBUILD coq-8.0_p3.ebuild 2047 RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 SH MD5 048ee6aefee27e33a7c61c076ec38154 coq-8.0_p3.ebuild 2047 RMD160 e5a3917835844b9c45a3f17e6b242ac44e627112 coq-8.0_p3.ebuild 2047 SHA256 fa555a38d6b2f7716b2485cdcd9600b987251fa0ba13f3a06f46fe76d9228927 coq-8.0_p3.ebuild 2047 -EBUILD coq-8.1_p1.ebuild 1608 RMD160 223fcb9d560d55f55c5f122d663424a9804dde1e SHA1 7c07873cb3f6747ecf961e076a5da29da004f84f SHA256 cf986df7d002cba26ddaf67380afce40f90957c3e9afab22103aac979a74c407 -MD5 2dd2ecb0608802ec82221d160245be5b coq-8.1_p1.ebuild 1608 -RMD160 223fcb9d560d55f55c5f122d663424a9804dde1e coq-8.1_p1.ebuild 1608 -SHA256 cf986df7d002cba26ddaf67380afce40f90957c3e9afab22103aac979a74c407 coq-8.1_p1.ebuild 1608 -MISC ChangeLog 3712 RMD160 dea891962495ff0c3d46b620505b9afe75aa6663 SHA1 5584e5bca5c94f3a86e074085cf2c52b460df734 SHA256 37f8e5af81072c1b10ab8b8307f42a2481786305ec33d845ecc22dd9325226ac -MD5 71f5e896fe9b0c9badfe63e8ccce29ec ChangeLog 3712 -RMD160 dea891962495ff0c3d46b620505b9afe75aa6663 ChangeLog 3712 -SHA256 37f8e5af81072c1b10ab8b8307f42a2481786305ec33d845ecc22dd9325226ac ChangeLog 3712 +EBUILD coq-8.1_p1.ebuild 1611 RMD160 559396a223725eda333e1aeaa70ea823b44b466e SHA1 eca906b96ea38132c0a19277e8c2d940fa73a715 SHA256 ee46e0ec50bbaea62c896db4ecfd0cd9f1a29447b33e62eab5f552cc506ab74d +MD5 3b09dfd84267c421b137c9711f35add1 coq-8.1_p1.ebuild 1611 +RMD160 559396a223725eda333e1aeaa70ea823b44b466e coq-8.1_p1.ebuild 1611 +SHA256 ee46e0ec50bbaea62c896db4ecfd0cd9f1a29447b33e62eab5f552cc506ab74d coq-8.1_p1.ebuild 1611 +MISC ChangeLog 3863 RMD160 929bfc774007b6ac261304d855839b1b1e0c9bbc SHA1 0b9f6966babb98ca5ae07a23aa98309979feeb86 SHA256 c4c9ee356e12379259215a62148f9e243f9b301032ac546560af473fe90f14bc +MD5 7f687eeb2d9ef93cf6565f68e102cd5c ChangeLog 3863 +RMD160 929bfc774007b6ac261304d855839b1b1e0c9bbc ChangeLog 3863 +SHA256 c4c9ee356e12379259215a62148f9e243f9b301032ac546560af473fe90f14bc ChangeLog 3863 MISC metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 SHA1 70e63d5e68a5449b129f8f91f2554e8406e212a0 SHA256 3c931940a18c0692dd36b609c3026ce41dcde08cdc9e2d0d7bc0a0cf774e8c5b MD5 587dfb99f9b1ef3ef6a79733b24811cc metadata.xml 174 RMD160 b6d9f7a487e305c44a47ffaa8d982731b5825a19 metadata.xml 174 @@ -49,3 +52,10 @@ SHA256 d1900263704dc613417b872026abf1bde19771a25ebd7c0a09e7c82ee1201ec6 files/di MD5 7a4fed88ce4670c5216e542adeaaa4f7 files/digest-coq-8.1_p1 235 RMD160 25cc8fd78c93c6b6ce97ba7435ead0c8b7f863f5 files/digest-coq-8.1_p1 235 SHA256 c45e2081aea31363e671e61b8335e4a15955ea13bc5e9f26f6f0a0fd96cdae84 files/digest-coq-8.1_p1 235 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.7 (GNU/Linux) + +iD8DBQFHDfU4vFcC4BYPU0oRAs01AJ9CZlMdR1WPYdWrvyR2iTjDhL3y7wCfWymp +VF0xD5LQGn6PaO/ZxaMld/c= +=EbMo +-----END PGP SIGNATURE----- |