diff options
Diffstat (limited to 'dev-ml/zarith/zarith-1.14.ebuild')
| -rw-r--r-- | dev-ml/zarith/zarith-1.14.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/zarith/zarith-1.14.ebuild b/dev-ml/zarith/zarith-1.14.ebuild index 6fd8ce772abc..5b8064a5c073 100644 --- a/dev-ml/zarith/zarith-1.14.ebuild +++ b/dev-ml/zarith/zarith-1.14.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -13,7 +13,7 @@ S="${WORKDIR}/Zarith-release-${PV}" LICENSE="LGPL-2.1-with-linking-exception" SLOT="0/${PV}" -KEYWORDS="amd64 ~arm ~arm64 ~ppc x86" +KEYWORDS="amd64 ~arm arm64 ~ppc x86" IUSE="doc +ocamlopt" RESTRICT="!ocamlopt? ( test )" |