commit: 59d39fbb9cde5ae1329cd2f96e420da264c33d82
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 17 14:38:59 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Thu Oct 17 15:32:12 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=59d39fbb
sci-mathematics/cvc4: dekeyword x86
After a message to gentoo-dev ML, and no reply from any user on x86,
we decided to dekeyword most Java packages from x86, and reverse
dependencies of them.
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
sci-mathematics/cvc4/cvc4-1.8-r5.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
index 9bab754168e0..6516da9ba043 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
@@ -15,7 +15,7 @@ S="${WORKDIR}"/${PN^^}-archived-${PV}
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64"
IUSE="+cln proofs readline +statistics"
RDEPEND="dev-libs/antlr-c