diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-12-14 13:26:14 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-12-14 13:26:14 +0000 |
| commit | 6abbf81ef2f298e3221ff5e67a1f3c5f23958212 (patch) | |
| tree | 25413d1cb3a0cbfe36029db32398c0f333609215 /profiles/arch/sparc | |
| parent | 9c417bacd51da6d8b57fa9f37425161d30d4b95b (diff) | |
gentoo resync : 14.12.2020
Diffstat (limited to 'profiles/arch/sparc')
| -rw-r--r-- | profiles/arch/sparc/package.use.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/arch/sparc/package.use.mask b/profiles/arch/sparc/package.use.mask index de6cf1c5f4e5..7b9eb8fd007e 100644 --- a/profiles/arch/sparc/package.use.mask +++ b/profiles/arch/sparc/package.use.mask @@ -1,6 +1,10 @@ # Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 +# Matthias Maier <tamiko@gentoo.org> (2020-12-03) +# Requires sci-mathematics/z3. +dev-util/cppcheck z3 + # Mart Raudsepp <leio@gentoo.org> (2020-11-26) # dev-libs/libmanette not keyworded, limited usefulness net-libs/webkit-gtk gamepad |