diff options
Diffstat (limited to 'profiles/arch/hppa/package.use.mask')
-rw-r--r-- | profiles/arch/hppa/package.use.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/arch/hppa/package.use.mask b/profiles/arch/hppa/package.use.mask index 15062f1199b9..17fd56881683 100644 --- a/profiles/arch/hppa/package.use.mask +++ b/profiles/arch/hppa/package.use.mask @@ -4,6 +4,10 @@ # NOTE: When masking a USE flag due to missing keywords, please file a keyword # request bug for the hppa arch. +# Matthias Maier <tamiko@gentoo.org> (2020-12-03) +# Requires sci-mathematics/z3. +dev-util/cppcheck z3 + # Michał Górny <mgorny@gentoo.org> (2020-11-18) # Requires dev-python/coverage, bug #743355. dev-python/nose coverage |