diff options
| author |   Sam James <sam@gentoo.org> | 2024-10-23 17:48:04 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2024-10-23 17:48:04 +0100 |
| commit | a748bab9c7411bd6d5261e82017bdc7ce1cde848 (patch) | |
| tree | 8dd4a28a2c50464c9912fbbd4940ad09143edf7d /dev-lang | |
| parent | dev-dotnet/fsautocomplete: Stabilize 0.74.1 amd64, #942015 (diff) | |
| download | gentoo-a748bab9c7411bd6d5261e82017bdc7ce1cde848.tar.gz gentoo-a748bab9c7411bd6d5261e82017bdc7ce1cde848.tar.bz2 gentoo-a748bab9c7411bd6d5261e82017bdc7ce1cde848.zip | |
dev-lang/dafny-bin: Stabilize 4.8.1 amd64, #942018
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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" |