Bug 892271 – sci-mathematics/alt-ergo-2.4.2-r1 and dev-ml/cmdliner-1.1.1 stabilisation

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description Andreas Sturmlechner 2023-01-27 20:37:36 UTC]

Why not?

[addCollapseLink(1, 1, 'Toggle comment display'); Comment 1 NATTkA bot 2023-01-27 20:40:15 UTC Comment hidden (obsolete)]

Sanity check failed:

> sci-mathematics/alt-ergo-2.4.2-r1
>   depend amd64 dev profile default/linux/amd64/17.0/musl (4 total)
>     >=dev-ml/cmdliner-1.1.0:=
>   depend amd64 stable profile default/linux/amd64/17.1 (18 total)
>     >=dev-ml/cmdliner-1.1.0:=
>   rdepend amd64 dev profile default/linux/amd64/17.0/musl (4 total)
>     >=dev-ml/cmdliner-1.1.0:=
>   rdepend amd64 stable profile default/linux/amd64/17.1 (18 total)
>     >=dev-ml/cmdliner-1.1.0:=

[Comment 2 Tupone Alfredo 2023-01-30 08:12:58 UTC]

ppc cannot be stabilized

[Comment 3 Sam James 2023-01-30 13:09:35 UTC]

amd64 done

all arches done

[Comment 4 Andreas Sturmlechner 2023-01-30 14:29:10 UTC]

(In reply to Tupone Alfredo from comment #2)
> ppc cannot be stabilized
No one is stabilising ppc, just let NATTkA do its work.

Re-opening for remaining arches of cmdliner-1.1.1

[Comment 5 Sam James 2023-01-30 15:08:42 UTC]

arm64 done

[Comment 6 Sam James 2023-01-30 15:25:59 UTC]

ppc64 done

[Comment 7 Sam James 2023-01-30 15:26:00 UTC]

arm done

[Comment 8 Sam James 2023-01-30 15:26:02 UTC]

x86 done

all arches done