diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-01-29 14:46:43 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-01-29 15:13:28 +0100 |
| commit | b2fc369aca1bdd812754d9e77005b389d9739ec6 (patch) | |
| tree | 7a642fff9166b8450391402c73b054ddf4120bc2 /dev-lang/dafny | |
| parent | sci-electronics/ghdl: drop old 3.0.0 (diff) | |
| download | gentoo-b2fc369aca1bdd812754d9e77005b389d9739ec6.tar.gz gentoo-b2fc369aca1bdd812754d9e77005b389d9739ec6.tar.bz2 gentoo-b2fc369aca1bdd812754d9e77005b389d9739ec6.zip | |
dev-lang/dafny: Stabilize 4.4.0-r1 amd64, #922370
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/dafny-4.4.0-r1.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/dafny/dafny-4.4.0-r1.ebuild b/dev-lang/dafny/dafny-4.4.0-r1.ebuild index 617b0a373ba8..2fd7b19b0f00 100644 --- a/dev-lang/dafny/dafny-4.4.0-r1.ebuild +++ b/dev-lang/dafny/dafny-4.4.0-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -375,7 +375,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+=" |