Bug 677862

Summary:	sci-mathematics/z3: keywordreq
Product:	Gentoo Linux	Reporter:	Michał Górny <mgorny>
Component:	Keywording	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.4	Runtime testing required:	No

Description Michał Górny archtester

2019-02-13 11:30:46 UTC

The z3 flag on sys-devel/clang is going to be unmasked now.  Please decide and either keyword it, or mask sys-devel/clang[z3] in your arch/ profiles.

Comment 1 Sergei Trofimovich (RETIRED) gentoo-dev

2019-02-17 17:26:00 UTC

~ppc64 keyworded

Comment 2 Mikle Kolyada (RETIRED) archtester

2019-02-28 14:35:06 UTC

~arm keyworded

Comment 3 Stabilization helper bot gentoo-dev

2019-03-20 15:00:25 UTC

An automated check of this bug failed - the following atom is unknown:

sci-mathematics/z3-4.8.5

Please verify the atom list.

Comment 4 Stabilization helper bot gentoo-dev

2019-03-20 16:02:13 UTC

An automated check of this bug succeeded - the previous repoman errors are now resolved.

Comment 5 Sergei Trofimovich (RETIRED) gentoo-dev

2019-03-24 21:21:26 UTC

commit d7d825568937826da9b338ddd2d9c8738a35d991
Author: Michał Górny <mgorny@gentoo.org>
Date:   Thu Mar 21 18:40:57 2019 +0100

    sci-mathematics/z3: Keyword 4.8.4 ~arm64

    Tested by NeddySeagoon.

Comment 6 Michał Górny archtester

2019-10-11 16:59:42 UTC

*-fbsd is gone.