diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
commit | 4cbcc855382a06088e2f016f62cafdbcb7e40665 (patch) | |
tree | 356496503d52354aa6d9f2d36126302fed5f3a73 /dev-ml/menhir/menhir-20210419-r1.ebuild | |
parent | fcc5224904648a8e6eb528d7603154160a20022f (diff) |
gentoo resync : 20.03.2022
Diffstat (limited to 'dev-ml/menhir/menhir-20210419-r1.ebuild')
-rw-r--r-- | dev-ml/menhir/menhir-20210419-r1.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/menhir/menhir-20210419-r1.ebuild b/dev-ml/menhir/menhir-20210419-r1.ebuild index 4c393d9c4ec6..26a91f44d2b1 100644 --- a/dev-ml/menhir/menhir-20210419-r1.ebuild +++ b/dev-ml/menhir/menhir-20210419-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.gz" LICENSE="GPL-2 LGPL-2-with-linking-exception" SLOT="0/${PV}" -KEYWORDS="amd64 arm arm64 ppc ppc64 x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86" IUSE="+ocamlopt" src_install() { |