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

[Sam James]

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 )