Bug 892271

Summary:	sci-mathematics/alt-ergo-2.4.2-r1 and dev-ml/cmdliner-1.1.1 stabilisation
Product:	Gentoo Linux	Reporter:	Andreas Sturmlechner <asturm>
Component:	Stabilization	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED FIXED
Severity:	normal	CC:	gienah, sci-mathematics
Priority:	Normal	Keywords:	CC-ARCHES
Version:	unspecified	Flags:	nattka: sanity-check+
Hardware:	All
OS:	Linux
See Also:	https://bugs.gentoo.org/show_bug.cgi?id=769332
Whiteboard:
Package list:	sci-mathematics/alt-ergo-2.4.2-r1 amd64 dev-ml/cmdliner-1.1.1 amd64 arm arm64 ppc64 x86	Runtime testing required:	---

Description Andreas Sturmlechner gentoo-dev

2023-01-27 20:37:36 UTC

Why not?

Comment 1 NATTkA bot gentoo-dev

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 gentoo-dev

2023-01-30 08:12:58 UTC

ppc cannot be stabilized

Comment 3 Sam James archtester

2023-01-30 13:09:35 UTC

amd64 done

all arches done

Comment 4 Andreas Sturmlechner gentoo-dev

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 archtester

2023-01-30 15:08:42 UTC

arm64 done

Comment 6 Sam James archtester

2023-01-30 15:25:59 UTC

ppc64 done

Comment 7 Sam James archtester

2023-01-30 15:26:00 UTC

arm done

Comment 8 Sam James archtester

2023-01-30 15:26:02 UTC

x86 done

all arches done