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

[Alfredo Tupone]

commit:     aa21f8d2b5b8b28a1e69d78c29fd5c0e0996f7a0
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jul 25 06:17:03 2019 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jul 25 06:17:03 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aa21f8d2

sci-mathematics/alt-ergo: Fix dependency

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11

 sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild 
b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
index e5229fc8922..80b72760c86 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2018 Gentoo Authors
+# Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=6
@@ -16,7 +16,7 @@ DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
        dev-ml/zarith
        gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] )
        dev-ml/camlzip
-       dev-ml/ocplib-simplex"
+       <=dev-ml/ocplib-simplex-0.3"
 RDEPEND="${DEPEND}"
 
 DOCS=( CHANGES INSTALL.md README.md )