summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2024-08-24 15:11:55 +0200
committerMichał Górny <mgorny@gentoo.org>2024-08-24 15:11:55 +0200
commit09d79dc95f8b7b925d69ee5d8a7b9bfbb7d98990 (patch)
tree71389da6666222fec14e8e5e700fcfb17ea553a1 /dev-lang/boogie
parentapp-shells/pwsh-bin: Stabilize 7.4.4 amd64, #938447 (diff)
downloadgentoo-09d79dc95f8b7b925d69ee5d8a7b9bfbb7d98990.tar.gz
gentoo-09d79dc95f8b7b925d69ee5d8a7b9bfbb7d98990.tar.bz2
gentoo-09d79dc95f8b7b925d69ee5d8a7b9bfbb7d98990.zip
dev-lang/boogie: Stabilize 3.2.1 amd64, #938449
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-lang/boogie')
-rw-r--r--dev-lang/boogie/boogie-3.2.1.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/boogie/boogie-3.2.1.ebuild b/dev-lang/boogie/boogie-3.2.1.ebuild
index baa291441b16..cfadd672d17a 100644
--- a/dev-lang/boogie/boogie-3.2.1.ebuild
+++ b/dev-lang/boogie/boogie-3.2.1.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} "