Bug 751145

Summary:	sci-mathematics/z3-4.8.9: stablereq
Product:	Gentoo Linux	Reporter:	Michał Górny <mgorny>
Component:	Stabilization	Assignee:	Mark Wright <gienah>
Status:	RESOLVED FIXED
Severity:	enhancement	CC:	mgorny, sci
Priority:	Normal	Keywords:	CC-ARCHES
Version:	unspecified	Flags:	nattka: sanity-check+
Hardware:	All
OS:	Linux
Whiteboard:
Package list:	sci-mathematics/z3-4.8.9	Runtime testing required:	---

Description Michał Górny archtester

2020-10-25 07:04:28 UTC

Please stabilize.

Comment 1 Thomas Deutschmann (RETIRED) gentoo-dev

2020-10-25 23:43:12 UTC

x86 stable

Comment 2 Sam James archtester

2020-10-26 00:15:00 UTC

arm64 done

Comment 3 Sam James archtester

2020-10-26 02:48:37 UTC

arm done

Comment 4 ernsteiswuerfel archtester

2020-10-27 00:56:56 UTC

Looking good on ppc64.

 # cat z3-751145.report 
USE tests started on Di 27. Okt 01:00:23 CET 2020

FEATURES=' test' USE='' succeeded for =sci-mathematics/z3-4.8.9

revdep tests started on Di 27. Okt 01:15:06 CET 2020

FEATURES=' test' USE='z3' succeeded for sys-devel/llvm

Comment 5 Sergei Trofimovich (RETIRED) gentoo-dev

2020-10-27 07:44:42 UTC

ppc64 stable thanks to ernsteiswuerfel!

Comment 6 Sam James archtester

2020-11-03 10:57:09 UTC

amd64 done

all arches done