Bug 835981 – sci-mathematics/lean-3.39.1: amd64 stabilization request

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description Maciej Barć 2022-03-25 07:38:26 UTC]

sci-mathematics/lean-3.39.1: amd64 and x86 stabilization request

[addCollapseLink(1, 1, 'Toggle comment display'); Comment 1 NATTkA bot 2022-03-25 07:44:14 UTC Comment hidden (obsolete)]

Unable to check for sanity:

> invalid package spec: sci-mathematics/lean-3.39.1:

[addCollapseLink(2, 1, 'Toggle comment display'); Comment 2 NATTkA bot 2022-03-25 07:52:17 UTC Comment hidden (obsolete)]

All sanity-check issues have been resolved

[Comment 3 Sam James 2022-03-25 14:52:19 UTC]

Do we need to be doing x86? I'm reluctant to be doing it for new packages without a good reason.

[Comment 4 Maciej Barć 2022-03-25 15:23:13 UTC]

> Do we need to be doing x86?

No, atm, I do not see a need for x86.

[Comment 5 Jakov Smolić 2022-03-25 17:18:20 UTC]

(In reply to Sam James from comment #3)
> Do we need to be doing x86? I'm reluctant to be doing it for new packages
> without a good reason.

Agreed, if anything, we're looking to drop some stable x86 to ~x86 to reduce the workload needed to keep stable keywords. Unless it's needed by a stable revdep or there is someone who actually uses it on x86, I'd avoid adding new stable x86 keywords. Thanks for understanding :)

[Comment 6 Agostino Sarubbo 2022-03-26 19:47:51 UTC]

amd64 stable. Closing.