Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 865789 - sci-mathematics/z3-4.10.2: stablereq
Summary: sci-mathematics/z3-4.10.2: stablereq
Status: RESOLVED OBSOLETE
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Stabilization (show other bugs)
Hardware: All Linux
: Normal enhancement (vote)
Assignee: Mark Wright
URL:
Whiteboard:
Keywords: CC-ARCHES
Depends on: 865979
Blocks:
  Show dependency tree
 
Reported: 2022-08-19 07:26 UTC by Michał Górny
Modified: 2022-09-27 17:57 UTC (History)
5 users (show)

See Also:
Package list:
sci-mathematics/z3-4.10.2
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 2022-08-19 07:26:30 UTC 
Please stabilize.
Comment 1 Arthur Zamarin archtester Gentoo Infrastructure gentoo-dev Security 2022-08-19 10:34:49 UTC 
arm done
Comment 2 Arthur Zamarin archtester Gentoo Infrastructure gentoo-dev Security 2022-08-19 10:38:02 UTC 
arm64 done
Comment 3 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2022-08-19 16:52:45 UTC 
amd64 done
Comment 4 Sam James archtester Gentoo Infrastructure gentoo-dev Security 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.