Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 677862 - sci-mathematics/z3: keywordreq
Summary: sci-mathematics/z3: keywordreq
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Keywording (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Mark Wright
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-02-13 11:30 UTC by Michał Górny
Modified: 2019-10-11 16:59 UTC (History)
3 users (show)

See Also:
Package list:
sci-mathematics/z3-4.8.4
Runtime testing required: No
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 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 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 Gentoo Infrastructure gentoo-dev Security 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 Gentoo Infrastructure gentoo-dev Security 2019-10-11 16:59:42 UTC 
*-fbsd is gone.