Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 904033 - sci-mathematics/z3-4.12.1: stablereq
Summary: sci-mathematics/z3-4.12.1: 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: 2023-04-08 13:50 UTC by Michał Górny
Modified: 2023-04-08 17:57 UTC (History)
2 users (show)

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


Attachments

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