commit:     77d2f42c3147d7db0e30b8d0b1483bd512e9861f
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Sep 19 14:39:00 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Sep 19 22:01:39 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=77d2f42c

sci-mathematics/lean: drop ~x86 KEYWORD

Closes: https://bugs.gentoo.org/917789
Closes: https://bugs.gentoo.org/928093
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/lean/lean-4.2.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/lean/lean-4.2.0.ebuild 
b/sci-mathematics/lean/lean-4.2.0.ebuild
index a19134fbaf2e..4f9f3b199ff1 100644
--- a/sci-mathematics/lean/lean-4.2.0.ebuild
+++ b/sci-mathematics/lean/lean-4.2.0.ebuild
@@ -22,7 +22,7 @@ else
                -> ${P}.tar.gz"
        S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}"
 
-       KEYWORDS="amd64 ~x86"
+       KEYWORDS="amd64"
 fi
 
 LICENSE="Apache-2.0"

Reply via email to