Stable for amd64, wrt bug #553322

Package-Manager: portage-2.2.18/cvs/Linux x86_64
RepoMan-Options: --include-arches="amd64"
Manifest-Sign-Key: 0x7194459F

3 files changed, 23 insertions, 22 deletions

diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index a33cc3295435..85ccaafe0c73 100644
--- a/sci-mathematics/coq/ChangeLog
+++ b/sci-mathematics/coq/ChangeLog
@@ -1,6 +1,9 @@
 # ChangeLog for sci-mathematics/coq
 # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.86 2015/03/20 07:55:39 jlec Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.87 2015/06/27 09:48:20 ago Exp $
+
+  27 Jun 2015; Agostino Sarubbo <ago@gentoo.org> coq-8.4_p5.ebuild:
+  Stable for amd64, wrt bug #553322
 
   20 Mar 2015; Justin Lecher <jlec@gentoo.org> files/coqide.desktop:
   Fix desktop file
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 84cf1b4732bc..bdfb817d3a41 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,5 +1,5 @@
 -----BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA512
+Hash: SHA256
 
 AUX coq-8.4_p1-camlp4.patch 594 SHA256 453e8761bc525de0f96c72e43d777dc6e3bf9fdb6ab79fb602793f290ed30aa0 SHA512 1d6ed0ac8e6b321a4d942969076fef46a07de13c4d3e40776af7740182e87d025cef1ad523ce2b5c0c1fd567ef66eabfdbf727ae5729cd68ce85c936bd42d1dd WHIRLPOOL 6103237e90f19ded2e07fa8e279a368f794607591d5258b5fb41ab9a827c99c0cef058877891dfc888726bbc724185c3d548b1a7c2d0684bf69b30f3601ce4e5
 AUX coq-8.4_p5-do-not-install-revision.patch 695 SHA256 940d926eeb60b40d491ade24ddd03fdadf8ddae0f1d4daeebb69ea458c0638c7 SHA512 bd4d73aa6f8e1471030cac13263df398fe504cc375f68111f099a9f93e68ae0d56e55ac97071a435db3421c3355d92c507bae2c8abb3c92623780428b23bc76a WHIRLPOOL 90f96d4b78547ca361bd6e769e1805ae7ee6ef204c7d11302671298e91bf57fb3d84d9030d4d1aa65c101183db5641f30b070e57ef27365984c9b199b4658343
@@ -15,25 +15,23 @@ EBUILD coq-8.3_p1.ebuild 2129 SHA256 111ec6cb5612ecf95164515314840dcf562b606b088
 EBUILD coq-8.4_p1.ebuild 2096 SHA256 83fc4294a2d5d5f236225e7b403538806bef7642f0f4f7a6ccf25ac7994df361 SHA512 89d23b58d14e914c4019fa6d8a9fe3d019138ad0f0e5b7f40df413d50bd51471f1494d205c4514cd6ad603843d97894c6009f44d6dfe1c73bc090378a70c8c98 WHIRLPOOL d6cd968483b6b491c77154ce77941c541c5f853abaf809a4f8b144cc5408b2fd43e8066f48cc745239f15061144b106d100e5a404570ae22e7bc5df2a0852e21
 EBUILD coq-8.4_p2.ebuild 2013 SHA256 f6b5b1dfbccf4153a0916903f95d67a2b7284ad3746afad6ca3657285beef8bb SHA512 90a6d883dff9c6966a7b50e05d10d924f50f0f8e433f8b33d3d562c68825c14ec22d0c120d13d6d2061fb141fe03ecd480cf2456182b337711864a4156c01d0c WHIRLPOOL 60f8f20d755488ec88d708368f8e6d35a0204d049128716536706ed656aa6ebaef744f7c14cf7c5993a8a8278fda2f884d007e6e1698e0b25bff48229e93a0e0
 EBUILD coq-8.4_p3.ebuild 1996 SHA256 cdb1f77fc542b0c3a3c12d69656af19a32887daa7f66ead2f8215f7d9ade69d7 SHA512 b5facb001306516d9c5df9669977c2c1c2cc3634d370961d035286aab1425d387882dad05815feb05fb24b417495ffa55a86d35b7418dd6e4b5245c9cb71a5d8 WHIRLPOOL 4997f45d55b0ad65d457b24c3ceca658ec4577ce59885452937da1ebe22f88e1ded11dbce0f8690fb13d663ac67baff80eea2a5033cbdb7b7cf4bd8902b0c9cd
-EBUILD coq-8.4_p5.ebuild 2489 SHA256 11e7d8e570856d015c22e83706f649e66ae8eeb7d6ecc44ff5946e114829f055 SHA512 22fe08367d9374ae7b28e21505b211bbe0f9255bd16a9b01d945d0546791313f2859bf208b01b73fd43260a139f5723e3746b6a3cbfbb7d7a94ff214778be0d7 WHIRLPOOL fb689ab56673cf268f02447f9140606d99e57a485bc73771e510bb65a56be063240117b4b82413999fa46752f39d0894e795c72730705130c06acdb980e2889f
-MISC ChangeLog 14340 SHA256 88e00f98c203fb3083bb14bf16bde11daa95de74d822c5b4a6725b302b8aae89 SHA512 df7db76cb42de4f9472cb323db2547b998778b8643b91b864fa791c030383762719188f1b209c13f4e9eadc79d1af8e2d6aae4ad2f6b3e03c1f63ee2903b0e15 WHIRLPOOL bcb22e012fffb4666c412a7bb1e5cd7576d0119e22253009018fa381f6360d9b7628375a8f86fcbd01ea95ba9be981f3acaaa86ed0f263712ab1fc44648bfa6c
+EBUILD coq-8.4_p5.ebuild 2485 SHA256 ab47167ae30ef2d67792b16c7c146307ffb10ab923c8079288f957bd6a666bc0 SHA512 e4810ca7a785d06ffbe8fc65348b8e6560319b40885c291dbaad7e4873ae507e3df5e3a6ddfe81eabe9188548645b4d3bda13aaf1efc310fb5047d287a4ae19f WHIRLPOOL e5522f69adb3805ac5cd91e318d63319b5fb453f82b3f932108c390c30d1bd7d78b1ca87f9ded2a87210a0f121adbce667f674d556db8a1cc33e42acd4ef7906
+MISC ChangeLog 14444 SHA256 268093a8c95b8f571fa3853287b913a60631d4a341757df93a4ce06509d50dd2 SHA512 14a7f2d85c11b54a57d05fee98b79f09331ee0edf5d6201e63c95ef15b7f6283a0fb4875b2223f4e6fbce6505646e532479986b77e2f5351a467696870ab3fdd WHIRLPOOL faa9aae36a1fadc42f9b5df8858a7b584ec57d25b258352e24920a11fc0d4daa186aa16a019b8e18fc49225c23db1e548931dcdb578754bcc91aa35dfa98e990
 MISC metadata.xml 912 SHA256 004efe7e4a2a780d79f709c74ceb3477407b1f0120218eaf7b11e3d82cb67b65 SHA512 b0720691e44431b8060bd2fd5870147f68c9d4d887b46e667661c034f4efdecb638cd80ea6efd474c231ab342d9e708a522075a38c0de5f1a49040af2865ff2a WHIRLPOOL 05fce40010254b116541116a9851984382accbf5b9660696887857224aa45265d51ac64f8780a6224fa071eebc15efd04f85c2008b856741b291483d5a8c5666
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0
+Version: GnuPG v2
 
-iQJ8BAEBCgBmBQJVC9J8XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
-ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQyQ0JDQjFGMzBDQ0UxMjFGNENDNDgxMDdC
-OUQ0RjIzMUJEMTU1OEFCAAoJELnU8jG9FVirqsAP/jR8XmWxxoAX9C4IsWRJWlHR
-j1SI0aEC1hgFwDGxmAqitupXwn0q0JGKdW+C0K+w/EX+siSSzhxvYDDSLpTPgpwC
-GfyrmfILSU/27AoAIak+VlTnBNkxwPd02e7b41R+10c5e/frlJO8qmn7q8JEoocq
-tea8yOfj9zXYxf22xTpJaoc8giSMDdbeoUDGOG41Xfwsxg+EXNympRFhRHnUw0MX
-7/lojmOzIKfdbyu9f/7DvQ+lqFvxpxeQExKc6DDatBt6/juk9/TKh8fbG345yAkO
-qTHRPQpl9r0U6cBQgbArHAM149Hi32sc7eiKVfOlPZINGJN/E8c6c79zEYRdtLak
-uGwRt1EGWOGXypnXtPVtnaV6hINohadxhg6RxDJfOgWCJQhXQypHgu3WRX5JHo7E
-a5g2TERCUTb2kdlncc/jmtEAohtn4hd9jbXtIu+eF0KdYBZnbm90gRrOSLNVSlC0
-ShRyGyvOQRVBj6JKgEENtuOqzjdzncgb+vpDnp/OlAhkH8rusP0w4sNS0phvvRvp
-5aS4BMY4RO7LWgC7u6mxz3wFA+HSRGFUnn2SFCchMX2Qun6Jb/LYyB2inQJ/b81H
-0vKjZx0dvFMdexRHdkuS1k24PGut9BcDBFrJErTol5s73Uh9viH1aLWGy1bdJiIZ
-ukq8Z0MgvHijDieGCigA
-=Znwe
+iQIcBAEBCAAGBQJVjnFlAAoJELp701BxlEWfkEwQAJUuJ0OhKLrgkowurAT4lUob
+jKsyyVHq9o/j6Hf6OnyUsR6EzEFopRBipsipwpNdFlYPS4d/Vsb+Ytn4EqxPp37u
+I8db5eCDLoM7i1nNbikmOUC45jAia0dzL/1AZhpbd/ffnXS3y2x9adFAcW5GyWp0
+htUJ289+Up394xXyO6TK4vFXbAJlVTUY/4O/Z70mua9NqPLD6VYx4npGRFCpoqz6
+IQ9i01ybrU788bVNLXKNC/58OmJj4nbGu9b+qtFXceMiuJyF82PwLRvIXWAMaf2S
+0SqOzLVGVDooK4MzGKz38P53tfg0fW/zIuCR1ZCESOVDmJyXvFHPwupINVEUsSKP
+aUmrRebp0PPNZNXMJhC+xHLXWwIuCL8BkX+4DFd8s77/3mgN3TubkLwEtoyZ1T0O
+ETTmzEs17in4I26PCcmBd40NTke97Vl2L6Pim4qzR4cr+a4EZOU3S9jCdr3HNb8O
+8JmWYzcPHqqK892PEfFieOzRIU5eJEgc3gV0OEPEWW8IVenUCjm/9ojJRk0a62/t
+Csd1W8/+QbHX2gngfZI5Ej162hy0hvZVsgTQ0b3piB8xwNSkuE9qvMOW7jLAi8/m
+dYrTe082xCVhuAxaBswO/bvRZ+a+bFquZbbA0Mhq9/G/7Sci9cLCjV4ZH+nBGfm+
+degQlwvPmAsg4b0m1s+D
+=8b29
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/coq/coq-8.4_p5.ebuild b/sci-mathematics/coq/coq-8.4_p5.ebuild
index cdae7204a41b..f8bb97a5ed28 100644
--- a/sci-mathematics/coq/coq-8.4_p5.ebuild
+++ b/sci-mathematics/coq/coq-8.4_p5.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2015 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p5.ebuild,v 1.3 2015/02/15 06:46:47 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p5.ebuild,v 1.4 2015/06/27 09:48:20 ago Exp $
 
 EAPI="5"
 
@@ -15,7 +15,7 @@ SRC_URI="http://${PN}.inria.fr/distrib/V${MY_PV}/files/${MY_P}.tar.gz"
 
 LICENSE="LGPL-2.1"
 SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="amd64 ~ppc ~x86"
 IUSE="gtk debug +ocamlopt doc camlp5"
 
 RDEPEND="