diff options
| author |   Sam James <sam@gentoo.org> | 2024-12-14 15:57:48 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2024-12-14 15:57:48 +0000 |
| commit | 0d3bdfb8343f6f5ad6d80aa467d6d24126d60e9e (patch) | |
| tree | 170a49c3d0590bc3bf02c1c74aab8903e0d517f1 /sci-mathematics | |
| parent | dev-libs/glib: fix finding just-built g-ir-scanner (diff) | |
| download | gentoo-0d3bdfb8343f6f5ad6d80aa467d6d24126d60e9e.tar.gz gentoo-0d3bdfb8343f6f5ad6d80aa467d6d24126d60e9e.tar.bz2 gentoo-0d3bdfb8343f6f5ad6d80aa467d6d24126d60e9e.zip | |
sci-mathematics/lean: Stabilize 4.11.0 amd64, #946385
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/lean/lean-4.11.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/lean/lean-4.11.0.ebuild b/sci-mathematics/lean/lean-4.11.0.ebuild index 88456a89f156..c5400dbabb88 100644 --- a/sci-mathematics/lean/lean-4.11.0.ebuild +++ b/sci-mathematics/lean/lean-4.11.0.ebuild @@ -22,7 +22,7 @@ else -> ${P}.tar.gz" S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi LICENSE="Apache-2.0" |