eapi5 and add := dep on ocaml pacakges

Package-Manager: portage-2.2.0/cvs/Linux x86_64
Manifest-Sign-Key: 0x160F534A

4 files changed, 21 insertions, 17 deletions

diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index a41dff599ee9..87ababa7799d 100644
--- a/sci-mathematics/coq/ChangeLog
+++ b/sci-mathematics/coq/ChangeLog
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/coq
 # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.80 2013/08/19 14:13:13 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.81 2013/08/19 15:06:15 aballier Exp $
+
+  19 Aug 2013; Alexis Ballier <aballier@gentoo.org> coq-8.4_p1.ebuild,
+  coq-8.4_p2.ebuild:
+  eapi5 and add := dep on ocaml pacakges
 
   19 Aug 2013; Alexis Ballier <aballier@gentoo.org> -coq-8.3_p2.ebuild,
   -coq-8.3_p3.ebuild, -coq-8.3_p4.ebuild, -coq-8.4.ebuild,
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 48b1510b4f12..ea84b5f9fbe6 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -7,14 +7,14 @@ DIST coq-8.3pl1.tar.gz 3756961 SHA256 3a497386bd74f43a5af1d0c53f29a017ce7ed1b1e6
 DIST coq-8.4pl1.tar.gz 4139808 SHA256 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80 SHA512 dc0073d2cbce91ac27749d84de1b350ad71632555a682d8af6612768d2c92311eb1fd36b7370e0fb630d540639a1c7e16f26a9de25d03d82c3a6eefb99aa3420 WHIRLPOOL e912b97ba1f91d3398d569a588d7cb420389c88971847e66ddff38c3fc715e45842aab285e343c0c6339da659f324ee7b60f37fd0cdcd5a8ce27ab0e8cce915a
 DIST coq-8.4pl2.tar.gz 4145112 SHA256 fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8 SHA512 151291a508c56f9fdc9efd96096852e94c247724030ad13122ad729476f3f7d4885c9202737d9109b6fa7f58029d3b9e8f472a7e587e0b60a49a0224ac399031 WHIRLPOOL ac338571da5f6efc08e9184f1e13b9783bd750627c70af2eee46116d2d949e61a0cbf31745373ccea3b3b862c1188316c2aa3b38e211a398185503c2844a33c5
 EBUILD coq-8.3_p1.ebuild 2142 SHA256 812c6ef68e6cbd4608eec74489e850c8349be6d79901d76f31e4c709be67767b SHA512 17c78f6e06cb5d18605db78ed160c8ba0fcd6255e00d9d9dfb716408e858aab653c2e182ab8b13fe5efc68fb0055d02b9bd4191d01a21dd828f960526cb14e35 WHIRLPOOL 660cf865954a2b464f88117dd55a756931f82e4a828135997b3ebd95512301ec6b6166ad6800cc8a3442c0683bd1c84714f59f4c6ea20ace42f21a94066d436b
-EBUILD coq-8.4_p1.ebuild 2098 SHA256 4db6051690cc119a89dda7cfd73c18755f1eeb29d11bdd7f1b51a6919ff1c8e9 SHA512 cf02b2296e72ed9e58bbc7e91d3d180c04cb7763b2c45e4c77994ea36f490c88cae42835022bbb9178b399e145c5a5676cdc159de884b883a593996299f85de7 WHIRLPOOL 3f24e033c1b4396027f15ac2fa5511fe17fbe52c7371635acc87ac441ccb8493e36cd600fbcb26054ef9d151110366397b3b375e5ab7f2aacdb7d36d69e19e39
-EBUILD coq-8.4_p2.ebuild 2044 SHA256 e13bcbede97b60e7b373e7ed5c16a55a36e6828e203d8783bb47396f577ec44a SHA512 de56fd02e407182aebbc3819148d1dcf4950e36a497eb94ec08bbf20281ead780468e71c30f9ae3b91a1ad7034918296bba427f505ba7a78ee21a3d92a8975e7 WHIRLPOOL f5fb3c567d352927965e7485e7d6421b163149522bc57e8d3e1332d1fa62b9e7c6f47f8c8d2f5ca27dc9468bc135c497c7438650db650ed56dad9478222ace04
-MISC ChangeLog 13108 SHA256 69935b2187ca7e6a74fd4f8ef0a2e30977015df16a03e5cbe2fe6b8cc8bd0331 SHA512 a80e6e716454b3029809ccb6b408eca8dfd28336125056514180afe970a5fccf4648ece4361aae911ab278c78b1eac0d0cfafeb2dcd152698fd0e130c9330f9b WHIRLPOOL ab945dd7352452c6d50a8604a59e36f7877cbbbcb3447efff7eb448d1018e60429d3efa3f7e3d03e7ad540779a0b33242c7272af616f771fccfaa327f59fc21e
+EBUILD coq-8.4_p1.ebuild 2109 SHA256 affa89d43b4329e8d64976fe9db0fe00d6fe3ffc84db8e565dea5535d7809ebc SHA512 cfe84a7ab905c4c84e1bf64542191cee74ec3867fe0382c92995d588926aebafb3dddfbd1167bcef4966dbca72661cd1070911956e7fc2016b9295eba7de7f98 WHIRLPOOL 6dba5fbf96c658e6eb8b53551e376fca94a387494716112396fb54a3a4a4d74ebd619e2fffbfecdcdd9f50cbb51228360a65ddbea2e253f6c7d2048067822c03
+EBUILD coq-8.4_p2.ebuild 2052 SHA256 5a6cf50d89836d6a82b8207e415b4d9303e3b8339527875ef518add7812b13e7 SHA512 0a7919865b1347fd04e304370ce6e13ade45d14bcc313524eb804dc650740d1e8d33131c132d089c65f66adc28cdd42716ba6afd2f26c1ef993cebb6e71e23c8 WHIRLPOOL 83d2985efd8b3320d038ea2589cfcad4da253a477ab85bdd5b7300e02d25a3b2f23159d8fed59a6d78e496566ef13183b5bd01e03facc2948d8d3044c7e7ffa1
+MISC ChangeLog 13242 SHA256 1c2d5ff06edf301a5e65394c5439f7fdab4be53496051de6b11b2ff6da428bbd SHA512 ee46b7419f80e26071966fcef95100a3a01bef9dd29e1d1ac578a80f389f25f941d6a36074a6d5a0e8dfbc98029375c06e413f7b83c32819f9f791f9683802cd WHIRLPOOL 31e00faf6fb1f443b8e61fbdd22b4802e958da556829d09ae3fd457a4f14a36a76526c5efe9aa099a3701005084f38561ccf195ebe294e90683d90b2177faf38
 MISC metadata.xml 899 SHA256 e0676f509aac30fee1d2f69dcbb0644d06e8e15d8dcc72295f67ce0d769c032e SHA512 7f203472451d8725a671b3460f68baf03637055cf7eac21197e930bac79d2924a5dc04d8111465afbd47c49def5cb2a12023d2d58855cb319436603387536d61 WHIRLPOOL d5490532c78ab704459b90e0a03547d13f62b058f5aa2e7817e7b13f43745782a1de74bb251108fc2dfe8f73d0b0aefbd1898f5769fc4337b7f0e2991fcad421
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.20 (GNU/Linux)
 
-iEYEAREIAAYFAlISJ/sACgkQvFcC4BYPU0pPTwCeLd+jmq/yrw4NQt1jL5HoQ2MT
-/qYAn0ZgWPXs9rS9p5yL4nhDBTD2g7ZU
-=1iap
+iEYEAREIAAYFAlISNGgACgkQvFcC4BYPU0rDQgCgjIWSet57lNP/kbBVyWMr11Hb
+ieEAn0D/kJzscOV3SZp2y0S0gk5PHS6W
+=hZbU
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/coq/coq-8.4_p1.ebuild b/sci-mathematics/coq/coq-8.4_p1.ebuild
index e04440d18c8e..ae6ce0007c9e 100644
--- a/sci-mathematics/coq/coq-8.4_p1.ebuild
+++ b/sci-mathematics/coq/coq-8.4_p1.ebuild
@@ -1,8 +1,8 @@
 # Copyright 1999-2013 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.4 2013/04/15 08:47:14 ago Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.5 2013/08/19 15:06:15 aballier Exp $
 
-EAPI="4"
+EAPI="5"
 
 inherit eutils multilib
 
@@ -18,9 +18,9 @@ SLOT="0"
 KEYWORDS="amd64 ~ppc x86"
 IUSE="gtk debug +ocamlopt doc camlp5"
 
-RDEPEND=">=dev-lang/ocaml-3.11.2[ocamlopt?]
-	camlp5? ( >=dev-ml/camlp5-6.02.3[ocamlopt?] )
-	gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] )"
+RDEPEND=">=dev-lang/ocaml-3.11.2:=[ocamlopt?]
+	camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] )
+	gtk? ( >=dev-ml/lablgtk-2.10.1:=[ocamlopt?] )"
 DEPEND="${RDEPEND}
 	doc? (
 		media-libs/netpbm[png,zlib]
diff --git a/sci-mathematics/coq/coq-8.4_p2.ebuild b/sci-mathematics/coq/coq-8.4_p2.ebuild
index 5ef36b277341..d7ec63a2a2c5 100644
--- a/sci-mathematics/coq/coq-8.4_p2.ebuild
+++ b/sci-mathematics/coq/coq-8.4_p2.ebuild
@@ -1,8 +1,8 @@
 # Copyright 1999-2013 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p2.ebuild,v 1.1 2013/08/03 12:06:54 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p2.ebuild,v 1.2 2013/08/19 15:06:15 aballier Exp $
 
-EAPI="4"
+EAPI="5"
 
 inherit eutils multilib
 
@@ -18,9 +18,9 @@ SLOT="0"
 KEYWORDS="~amd64 ~ppc ~x86"
 IUSE="gtk debug +ocamlopt doc camlp5"
 
-RDEPEND=">=dev-lang/ocaml-3.11.2[ocamlopt?]
-	camlp5? ( >=dev-ml/camlp5-6.02.3[ocamlopt?] )
-	gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] )"
+RDEPEND=">=dev-lang/ocaml-3.11.2:=[ocamlopt?]
+	camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] )
+	gtk? ( >=dev-ml/lablgtk-2.10.1:=[ocamlopt?] )"
 DEPEND="${RDEPEND}
 	doc? (
 		media-libs/netpbm[png,zlib]