Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 904033

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

Description Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2023-04-08 13:50:33 UTC 
Please stabilize
Comment 1 Arthur Zamarin archtester Gentoo Infrastructure gentoo-dev Security 2023-04-08 16:59:06 UTC 
arm64 done
Comment 2 Arthur Zamarin archtester Gentoo Infrastructure gentoo-dev Security 2023-04-08 17:30:45 UTC 
arm done
Comment 3 Arthur Zamarin archtester Gentoo Infrastructure gentoo-dev Security 2023-04-08 17:37:30 UTC 
sparc done
Comment 4 Arthur Zamarin archtester Gentoo Infrastructure gentoo-dev Security 2023-04-08 17:42:44 UTC 
amd64 done
Comment 5 Arthur Zamarin archtester Gentoo Infrastructure gentoo-dev Security 2023-04-08 17:50:06 UTC 
ppc64 done
Comment 6 Arthur Zamarin archtester Gentoo Infrastructure gentoo-dev Security 2023-04-08 17:57:07 UTC 
x86 done

all arches done