diff options
| author | Sam James <sam@gentoo.org> | 2025-11-07 19:11:08 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2025-11-07 19:11:08 +0000 |
| commit | b26324ac01bc019b14c1b18ce5e4f7d4c7921e73 (patch) | |
| tree | ad0d22febcc258e5d9f7f097bc2205a6cf4fbb00 | |
| parent | 9ec161db8493399640dbb1a13efcc2ca538b3fa1 (diff) | |
| download | gentoo-b26324ac01bc019b14c1b18ce5e4f7d4c7921e73.tar.gz gentoo-b26324ac01bc019b14c1b18ce5e4f7d4c7921e73.tar.bz2 gentoo-b26324ac01bc019b14c1b18ce5e4f7d4c7921e73.zip | |
dev-lang/dafny-bin: Stabilize 4.11.0-r1 amd64, #965803
Signed-off-by: Sam James <sam@gentoo.org>
| -rw-r--r-- | dev-lang/dafny-bin/dafny-bin-4.11.0-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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" |