diff options
| author |   Sam James <sam@gentoo.org> | 2022-03-03 22:19:21 +0100 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2022-03-03 22:19:21 +0100 |
| commit | 0ca0b42dbca8c78959a9067df3d432e2dea359e5 (patch) | |
| tree | 5ae63c3a3625b9c86da050572f977d9973df9a96 /dev-ml/zarith | |
| parent | dev-ml/xml-light: destabilise for ppc (diff) | |
| download | gentoo-0ca0b42dbca8c78959a9067df3d432e2dea359e5.tar.gz gentoo-0ca0b42dbca8c78959a9067df3d432e2dea359e5.tar.bz2 gentoo-0ca0b42dbca8c78959a9067df3d432e2dea359e5.zip | |
dev-ml/zarith: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org>
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'dev-ml/zarith')
| -rw-r--r-- | dev-ml/zarith/zarith-1.12.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/zarith/zarith-1.12.ebuild b/dev-ml/zarith/zarith-1.12.ebuild index 1b285165f7c6..f816228c6ad3 100644 --- a/dev-ml/zarith/zarith-1.12.ebuild +++ b/dev-ml/zarith/zarith-1.12.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://github.com/ocaml/Zarith/archive/release-${PV}.tar.gz -> ${P}.ta LICENSE="LGPL-2.1-with-linking-exception" SLOT="0/${PV}" -KEYWORDS="amd64 ~arm ~arm64 ppc x86" +KEYWORDS="amd64 ~arm ~arm64 ~ppc x86" IUSE="doc mpir +ocamlopt" RESTRICT="!ocamlopt? ( test )" |