diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-04-18 12:04:39 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-04-18 12:04:39 +0100 |
| commit | 2d01b3d133c0fbf17de8d7b47905585af88bd6e4 (patch) | |
| tree | f74eb9a3d16ed25f8c15b825f4d28b759ae99a42 /dev-lang/boogie/boogie-3.1.3.ebuild | |
| parent | 97bacba3ead078e5db8b87ab651a3ffa7d82f60f (diff) | |
gentoo auto-resync : 18:04:2024 - 12:04:39
Diffstat (limited to 'dev-lang/boogie/boogie-3.1.3.ebuild')
| -rw-r--r-- | dev-lang/boogie/boogie-3.1.3.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/boogie/boogie-3.1.3.ebuild b/dev-lang/boogie/boogie-3.1.3.ebuild index d7ab20c085a9..a8464716070a 100644 --- a/dev-lang/boogie/boogie-3.1.3.ebuild +++ b/dev-lang/boogie/boogie-3.1.3.ebuild @@ -210,7 +210,7 @@ else SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi SRC_URI+=" ${NUGET_URIS} " |