diff options
| author |   Arthur Zamarin <arthurzam@gentoo.org> | 2024-10-17 17:38:59 +0300 |
|---|---|---|
| committer | Arthur Zamarin <arthurzam@gentoo.org> | 2024-10-17 18:32:12 +0300 |
| commit | 59d39fbb9cde5ae1329cd2f96e420da264c33d82 (patch) | |
| tree | 3e2cbf8db6cd16a5f17d827ff2069b4d915b7630 /sci-mathematics | |
| parent | sci-astronomy/gasgano: dekeyword x86 (diff) | |
| download | gentoo-59d39fbb9cde5ae1329cd2f96e420da264c33d82.tar.gz gentoo-59d39fbb9cde5ae1329cd2f96e420da264c33d82.tar.bz2 gentoo-59d39fbb9cde5ae1329cd2f96e420da264c33d82.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.8-r5.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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 |