diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-11-03 16:06:58 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-11-03 16:06:58 +0000 |
commit | bd4aeefe33e63f613512604e47bfca7b2187697d (patch) | |
tree | adb35b5a9a00ee7ea591ab0c987f70167c23b597 /dev-ml/menhir/menhir-20181006.ebuild | |
parent | 48ece6662cbd443015f5a57ae6d8cbdbd69ef37c (diff) |
gentoo resync : 03.11.2019
Diffstat (limited to 'dev-ml/menhir/menhir-20181006.ebuild')
-rw-r--r-- | dev-ml/menhir/menhir-20181006.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/menhir/menhir-20181006.ebuild b/dev-ml/menhir/menhir-20181006.ebuild index 1ae3f25522f1..00be878804ac 100644 --- a/dev-ml/menhir/menhir-20181006.ebuild +++ b/dev-ml/menhir/menhir-20181006.ebuild @@ -11,7 +11,7 @@ SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz" LICENSE="GPL-2 LGPL-2-with-linking-exception" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86" +KEYWORDS="amd64 ~arm ~arm64 ~ppc ~x86" IUSE="examples +ocamlopt" RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]" |