diff options
| author |   Matoro Mahri <matoro_gentoo@matoro.tk> | 2024-05-23 21:51:51 -0400 |
|---|---|---|
| committer |   Ionen Wolkens <ionen@gentoo.org> | 2024-05-23 22:45:19 -0400 |
| commit | 9fde0b46e77d962895c5ab7158f44c40da8a6ad5 (patch) | |
| tree | 4e4bf92db306ef706d2d97e59f9c99db1840aeeb /dev-lang | |
| parent | dev-go/go-tools: Stabilize 0.1.10 amd64, #930160 (diff) | |
| download | gentoo-9fde0b46e77d962895c5ab7158f44c40da8a6ad5.tar.gz gentoo-9fde0b46e77d962895c5ab7158f44c40da8a6ad5.tar.bz2 gentoo-9fde0b46e77d962895c5ab7158f44c40da8a6ad5.zip | |
dev-lang/dafny: Stabilize 4.5.0 amd64, #930160
Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk>
Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/dafny/dafny-4.5.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/dafny/dafny-4.5.0.ebuild b/dev-lang/dafny/dafny-4.5.0.ebuild index ad97276a1553..c20da32b0db8 100644 --- a/dev-lang/dafny/dafny-4.5.0.ebuild +++ b/dev-lang/dafny/dafny-4.5.0.ebuild @@ -372,7 +372,7 @@ else SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi SRC_URI+=" |