diff options
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 |