From fe1ba2a8a563a237f03a3b3d0db6469ad55cfd7e Mon Sep 17 00:00:00 2001
From: Arthur Zamarin <arthurzam@gentoo.org>
Date: Sat, 15 Mar 2025 20:17:02 +0200
Subject: [PATCH] dev-lang/dafny-bin: Stabilize 4.10.0 amd64, #951434

Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
---
 dev-lang/dafny-bin/dafny-bin-4.10.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"