diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/kaputt/kaputt-1.2.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/kaputt/kaputt-1.2.ebuild b/dev-ml/kaputt/kaputt-1.2.ebuild index 35f9d4ddb4a0..89ce7b66f515 100644 --- a/dev-ml/kaputt/kaputt-1.2.ebuild +++ b/dev-ml/kaputt/kaputt-1.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2013 Gentoo Foundation +# Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -16,7 +16,7 @@ IUSE="" RDEPEND=">=dev-lang/ocaml-3.11:=[ocamlopt]" DEPEND="${RDEPEND} - || ( dev-ml/ocamlbuild <dev-lang/ocaml-4.02.3-r1 )" + dev-ml/ocamlbuild" src_configure() { chmod +x configure |