diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-04-30 00:00:01 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-04-30 00:00:01 +0100 |
commit | 4c2b70adc6484c35ff05e412de08a7b7f50cfb34 (patch) | |
tree | c7557ae36b9b2bfa7134849511e79da938581c5f /dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild | |
parent | 5f0030fd1370c4d03dbb2e0d3086f5e618a33749 (diff) |
gentoo auto-resync : 30:04:2024 - 00:00:01
Diffstat (limited to 'dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild')
-rw-r--r-- | dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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" |