commit: 96224c981667cf4ef4d36837263f15497954a19e Author: Sam James <sam <AT> gentoo <DOT> org> AuthorDate: Mon Apr 29 00:06:22 2024 +0000 Commit: Sam James <sam <AT> gentoo <DOT> org> CommitDate: Mon Apr 29 00:06:22 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=96224c98
dev-lang/dafny-bin: Stabilize 4.6.0 amd64, #930843 Signed-off-by: Sam James <sam <AT> gentoo.org> dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild index 8ed638b01e1e..66b2bf3d4f1b 100644 --- a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild @@ -11,7 +11,7 @@ S="${WORKDIR}/dafny" LICENSE="MIT" SLOT="0" -KEYWORDS="-* ~amd64" +KEYWORDS="-* amd64" REQUIRED_USE="elibc_glibc" RESTRICT="strip"