From 1a85a3eea7ae7bb021648ed9c274d0df7af4b87a Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Fri, 27 Mar 2020 13:39:26 +0100 Subject: [PATCH] dev-ml/zarith: require a newer version of ocaml Closes: https://bugs.gentoo.org/648982 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone --- dev-ml/zarith/zarith-1.4.1.ebuild | 4 ++-- dev-ml/zarith/zarith-1.5.ebuild | 4 ++-- dev-ml/zarith/zarith-1.6.ebuild | 4 ++-- dev-ml/zarith/zarith-1.7.ebuild | 4 ++-- dev-ml/zarith/zarith-1.9.1.ebuild | 2 +- 5 files changed, 9 insertions(+), 9 deletions(-) diff --git a/dev-ml/zarith/zarith-1.4.1.ebuild b/dev-ml/zarith/zarith-1.4.1.ebuild index 8825fc311e45..b55568b348e6 100644 --- a/dev-ml/zarith/zarith-1.4.1.ebuild +++ b/dev-ml/zarith/zarith-1.4.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -15,7 +15,7 @@ KEYWORDS="~amd64 ~ppc ~x86" IUSE="doc mpir +ocamlopt" RDEPEND=" - >=dev-lang/ocaml-4:=[ocamlopt?] + >=dev-lang/ocaml-4.05:=[ocamlopt?] !mpir? ( dev-libs/gmp:0= ) mpir? ( sci-libs/mpir )" diff --git a/dev-ml/zarith/zarith-1.5.ebuild b/dev-ml/zarith/zarith-1.5.ebuild index 857c5026e9d6..1e752ec0c1fe 100644 --- a/dev-ml/zarith/zarith-1.5.ebuild +++ b/dev-ml/zarith/zarith-1.5.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -15,7 +15,7 @@ KEYWORDS="~amd64 ~ppc ~x86" IUSE="doc mpir +ocamlopt" RDEPEND=" - >=dev-lang/ocaml-4:=[ocamlopt?] + >=dev-lang/ocaml-4.05:=[ocamlopt?] !mpir? ( dev-libs/gmp:0= ) mpir? ( sci-libs/mpir )" diff --git a/dev-ml/zarith/zarith-1.6.ebuild b/dev-ml/zarith/zarith-1.6.ebuild index 857c5026e9d6..1e752ec0c1fe 100644 --- a/dev-ml/zarith/zarith-1.6.ebuild +++ b/dev-ml/zarith/zarith-1.6.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -15,7 +15,7 @@ KEYWORDS="~amd64 ~ppc ~x86" IUSE="doc mpir +ocamlopt" RDEPEND=" - >=dev-lang/ocaml-4:=[ocamlopt?] + >=dev-lang/ocaml-4.05:=[ocamlopt?] !mpir? ( dev-libs/gmp:0= ) mpir? ( sci-libs/mpir )" diff --git a/dev-ml/zarith/zarith-1.7.ebuild b/dev-ml/zarith/zarith-1.7.ebuild index 133092897581..21ad63c4e898 100644 --- a/dev-ml/zarith/zarith-1.7.ebuild +++ b/dev-ml/zarith/zarith-1.7.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2018 Gentoo Authors +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -15,7 +15,7 @@ KEYWORDS="amd64 ~ppc ~x86" IUSE="doc mpir +ocamlopt" RDEPEND=" - >=dev-lang/ocaml-4:=[ocamlopt?] + >=dev-lang/ocaml-4.05:=[ocamlopt?] !mpir? ( dev-libs/gmp:0= ) mpir? ( sci-libs/mpir )" diff --git a/dev-ml/zarith/zarith-1.9.1.ebuild b/dev-ml/zarith/zarith-1.9.1.ebuild index dc83db4cb61f..85651e3b4951 100644 --- a/dev-ml/zarith/zarith-1.9.1.ebuild +++ b/dev-ml/zarith/zarith-1.9.1.ebuild @@ -15,7 +15,7 @@ KEYWORDS="~amd64 ~ppc ~x86" IUSE="doc mpir +ocamlopt" RDEPEND=" - >=dev-lang/ocaml-4:=[ocamlopt?] + >=dev-lang/ocaml-4.05:=[ocamlopt?] !mpir? ( dev-libs/gmp:0= ) mpir? ( sci-libs/mpir )" -- 2.26.2