summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2020-03-27 13:39:26 +0100
committerTupone Alfredo <tupone@gentoo.org>2020-03-27 13:39:26 +0100
commit1a85a3eea7ae7bb021648ed9c274d0df7af4b87a (patch)
tree23625e0891997f2d0613aa6c53830b28c087b2a5 /dev-ml
parentmedia-gfx/graphicsmagick: Security bump to 1.3.35 (diff)
downloadgentoo-1a85a3eea7ae7bb021648ed9c274d0df7af4b87a.tar.gz
gentoo-1a85a3eea7ae7bb021648ed9c274d0df7af4b87a.tar.bz2
gentoo-1a85a3eea7ae7bb021648ed9c274d0df7af4b87a.zip
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 <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/zarith/zarith-1.4.1.ebuild4
-rw-r--r--dev-ml/zarith/zarith-1.5.ebuild4
-rw-r--r--dev-ml/zarith/zarith-1.6.ebuild4
-rw-r--r--dev-ml/zarith/zarith-1.7.ebuild4
-rw-r--r--dev-ml/zarith/zarith-1.9.1.ebuild2
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 )"