Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 751145 - sci-mathematics/z3-4.8.9: stablereq
Summary: sci-mathematics/z3-4.8.9: stablereq
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Stabilization (show other bugs)
Hardware: All Linux
: Normal enhancement
Assignee: Mark Wright
URL:
Whiteboard:
Keywords: CC-ARCHES
Depends on:
Blocks:
 
Reported: 2020-10-25 07:04 UTC by Michał Górny
Modified: 2020-11-03 10:57 UTC (History)
2 users (show)

See Also:
Package list:
sci-mathematics/z3-4.8.9
Runtime testing required: ---
nattka: sanity-check+

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 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 Gentoo Infrastructure gentoo-dev Security 2020-10-26 00:15:00 UTC 
arm64 done
Comment 3 Sam James archtester Gentoo Infrastructure gentoo-dev Security 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 Gentoo Infrastructure gentoo-dev Security 2020-11-03 10:57:09 UTC 
amd64 done

all arches done