diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/zarith/zarith-1.4.1.ebuild | 4 | ||||
| -rw-r--r-- | dev-ml/zarith/zarith-1.5.ebuild | 4 | ||||
| -rw-r--r-- | dev-ml/zarith/zarith-1.6.ebuild | 4 | ||||
| -rw-r--r-- | dev-ml/zarith/zarith-1.7.ebuild | 4 | ||||
| -rw-r--r-- | 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 )" |