From a748bab9c7411bd6d5261e82017bdc7ce1cde848 Mon Sep 17 00:00:00 2001 From: Sam James Date: Wed, 23 Oct 2024 17:48:04 +0100 Subject: dev-lang/dafny-bin: Stabilize 4.8.1 amd64, #942018 Signed-off-by: Sam James --- dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-lang') diff --git a/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild index 8ed638b01e1e..66b2bf3d4f1b 100644 --- a/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild @@ -11,7 +11,7 @@ S="${WORKDIR}/dafny" LICENSE="MIT" SLOT="0" -KEYWORDS="-* ~amd64" +KEYWORDS="-* amd64" REQUIRED_USE="elibc_glibc" RESTRICT="strip" -- cgit v1.2.3-65-gdbad