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