diff options
| author |   Arthur Zamarin <arthurzam@gentoo.org> | 2024-10-18 18:40:04 +0300 |
|---|---|---|
| committer | Arthur Zamarin <arthurzam@gentoo.org> | 2024-10-18 18:40:04 +0300 |
| commit | a7bcc367d4303b4d0ed8b651af9e7f594e750c87 (patch) | |
| tree | 60273a65e070392da75ea40ff678c9c6fecc35b1 /dev-ml/menhir | |
| parent | dev-ml/lablgtk-sourceview: Stabilize 3.1.5 arm, #941576 (diff) | |
| download | gentoo-a7bcc367d4303b4d0ed8b651af9e7f594e750c87.tar.gz gentoo-a7bcc367d4303b4d0ed8b651af9e7f594e750c87.tar.bz2 gentoo-a7bcc367d4303b4d0ed8b651af9e7f594e750c87.zip | |
dev-ml/menhir: Stabilize 20240715 arm, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'dev-ml/menhir')
| -rw-r--r-- | dev-ml/menhir/menhir-20240715.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/menhir/menhir-20240715.ebuild b/dev-ml/menhir/menhir-20240715.ebuild index f4ed34dace1f..052da952a0cc 100644 --- a/dev-ml/menhir/menhir-20240715.ebuild +++ b/dev-ml/menhir/menhir-20240715.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2" LICENSE="GPL-2 LGPL-2-with-linking-exception" SLOT="0/${PV}" -KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv x86" +KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv x86" IUSE="+ocamlopt" src_install() { |