diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2019-08-02 19:14:55 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2019-08-02 19:14:55 +0100 |
| commit | b24bd25253fe093f722ab576d29fdc41d04cb1ee (patch) | |
| tree | 0fcf2afd9f852c4d4c291cf8afaa2c244d598105 /sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | |
| parent | 121ed4eec41fbf03e1998d09eede1bf449da63b9 (diff) | |
gentoo resync : 02.08.2019
Diffstat (limited to 'sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild')
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild | 4 |
1 files 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 e5229fc89224..80b72760c868 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 ) |