Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 700296 - sci-mathematics/z3-4.8.6 stabilisation
Summary: sci-mathematics/z3-4.8.6 stabilisation
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Stabilization (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Mark Wright
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-11-17 01:11 UTC by Andreas Sturmlechner
Modified: 2019-11-23 18:47 UTC (History)
3 users (show)

See Also:
Package list:
sci-mathematics/z3-4.8.6
Runtime testing required: ---
stable-bot: 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 Andreas Sturmlechner gentoo-dev 2019-11-17 01:11:00 UTC 
How about that + cleanup old?
Comment 1 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-11-17 08:56:19 UTC 
Sure.  However, <4.5 is still required by old clang versions.  Though I guess we can mask the flag.
Comment 2 Agostino Sarubbo gentoo-dev 2019-11-18 11:50:20 UTC 
amd64 stable
Comment 3 Agostino Sarubbo gentoo-dev 2019-11-19 15:40:18 UTC 
x86 stable
Comment 4 Agostino Sarubbo gentoo-dev 2019-11-20 11:23:39 UTC 
ppc64 stable
Comment 5 Mikle Kolyada (RETIRED) archtester Gentoo Infrastructure gentoo-dev Security 2019-11-22 10:00:23 UTC 
arm stable
Comment 6 Aaron Bauman (RETIRED) gentoo-dev 2019-11-23 18:47:11 UTC 
arm64 stable. closing.