diff --git a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
index 8ed638b01e1ee..66b2bf3d4f1b9 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
@@ -11,7 +11,7 @@ S="${WORKDIR}/dafny"
 
 LICENSE="MIT"
 SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
 RESTRICT="strip"