Bug 700296

Summary:	sci-mathematics/z3-4.8.6 stabilisation
Product:	Gentoo Linux	Reporter:	Andreas Sturmlechner <asturm>
Component:	Stabilization	Assignee:	Mark Wright <gienah>
Status:	RESOLVED FIXED
Severity:	normal	CC:	haskell, mgorny, sci
Priority:	Normal	Flags:	stable-bot: sanity-check+
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:	sci-mathematics/z3-4.8.6	Runtime testing required:	---

Description Andreas Sturmlechner gentoo-dev

2019-11-17 01:11:00 UTC

How about that + cleanup old?

Comment 1 Michał Górny archtester

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

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.