[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/

["Sam James" <sam@gentoo.org>]

commit:     16a28ad1361c0a6cbf5198a228a18fb1332b1d9e
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 17 03:55:50 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 17 04:10:26 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=16a28ad1

sci-mathematics/alt-ergo: add subslot deps for OCaml

We need subslot deps on any OCaml (R)DEPENDs because
we must be rebuilt when they update, for consistency.

Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>

 sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild  |  8 ++++----
 sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 14 +++++++-------
 2 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index a3818de96e2..1b6ff79abed 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -12,11 +12,11 @@ SLOT="0"
 KEYWORDS="amd64"
 IUSE="examples gtk +ocamlopt"
 
-DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
-	dev-ml/zarith
+DEPEND=">=dev-lang/ocaml-3.12.1:=[ocamlopt?]
+	dev-ml/zarith:=
 	gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,ocamlopt?] )
-	dev-ml/camlzip
-	<=dev-ml/ocplib-simplex-0.3"
+	dev-ml/camlzip:=
+	<=dev-ml/ocplib-simplex-0.3:="
 RDEPEND="${DEPEND}"
 
 DOCS=( CHANGES INSTALL.md README.md )

diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 9baff8d48d2..046f3c9f04f 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -12,16 +12,16 @@ SLOT="0"
 KEYWORDS="amd64"
 IUSE="examples gtk +ocamlopt"
 
-DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
-	dev-ml/zarith
+DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt?]
+	dev-ml/zarith:=
 	dev-ml/lablgtk:2=[sourceview,ocamlopt?]
 	dev-ml/camlzip
 	sci-mathematics/psmt2-frontend
-	>=dev-ml/ocplib-simplex-0.4
-	>=dev-ml/menhir-20181006
-	dev-ml/seq
-	dev-ml/dune
-	dev-ml/num"
+	>=dev-ml/ocplib-simplex-0.4:=
+	>=dev-ml/menhir-20181006:=
+	dev-ml/seq:=
+	dev-ml/dune:=
+	dev-ml/num:="
 RDEPEND="${DEPEND}"
 
 DOCS=( CHANGES INSTALL.md README.md )