diff options
Diffstat (limited to 'dev-lang/dafny-bin/dafny-bin-4.9.1.ebuild')
| -rw-r--r-- | dev-lang/dafny-bin/dafny-bin-4.9.1.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/dafny-bin/dafny-bin-4.9.1.ebuild b/dev-lang/dafny-bin/dafny-bin-4.9.1.ebuild index 2907f72117f4..2e67e92be0df 100644 --- a/dev-lang/dafny-bin/dafny-bin-4.9.1.ebuild +++ b/dev-lang/dafny-bin/dafny-bin-4.9.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -11,7 +11,7 @@ S="${WORKDIR}/dafny" LICENSE="MIT" SLOT="0" -KEYWORDS="-* ~amd64" +KEYWORDS="-* amd64" REQUIRED_USE="elibc_glibc" RESTRICT="strip" |