Bug 865789

Summary:	sci-mathematics/z3-4.10.2: stablereq
Product:	Gentoo Linux	Reporter:	Michał Górny <mgorny>
Component:	Stabilization	Assignee:	Mark Wright <gienah>
Status:	RESOLVED OBSOLETE
Severity:	enhancement	CC:	matoro_gentoo, mgorny, ppc64, sci, sparc
Priority:	Normal	Keywords:	CC-ARCHES
Version:	unspecified	Flags:	nattka: sanity-check-
Hardware:	All
OS:	Linux
Whiteboard:
Package list:	sci-mathematics/z3-4.10.2	Runtime testing required:	---
Bug Depends on:	865979
Bug Blocks:

Description Michał Górny archtester

2022-08-19 07:26:30 UTC

Please stabilize.

Comment 1 Arthur Zamarin archtester

2022-08-19 10:34:49 UTC

arm done

Comment 2 Arthur Zamarin archtester

2022-08-19 10:38:02 UTC

arm64 done

Comment 3 Sam James archtester

2022-08-19 16:52:45 UTC

amd64 done

Comment 4 Sam James archtester

2022-08-19 16:54:21 UTC

x86 done

Comment 5 NATTkA bot gentoo-dev

2022-09-23 08:12:33 UTC

Unable to check for sanity:

> no match for package: sci-mathematics/z3-4.10.2

Comment 6 matoro archtester

2022-09-27 17:57:09 UTC

~sci-mathematics/z3-4.10.2 no longer in tree.