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