From b26324ac01bc019b14c1b18ce5e4f7d4c7921e73 Mon Sep 17 00:00:00 2001
From: Sam James <sam@gentoo.org>
Date: Fri, 7 Nov 2025 19:11:08 +0000
Subject: [PATCH] dev-lang/dafny-bin: Stabilize 4.11.0-r1 amd64, #965803

Signed-off-by: Sam James <sam@gentoo.org>
---
 dev-lang/dafny-bin/dafny-bin-4.11.0-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"