summaryrefslogtreecommitdiff
path: root/profiles/arch/arm/package.use.stable.mask
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2019-09-14 18:52:15 +0100
committerV3n3RiX <venerix@redcorelinux.org>2019-09-14 18:52:15 +0100
commitd00821e77f72d4af4ea30158c1c6e18ffff0875b (patch)
treeb28b6cb077ae6b2457e30d49028fc978d8e2b59b /profiles/arch/arm/package.use.stable.mask
parent36ac65103bf5503e5bad1ecc7e8cb9e7643f6840 (diff)
parent6a339b4f9ec107438bb71a6f9ca72fd42fbfd436 (diff)
Merge branch 'next'
Diffstat (limited to 'profiles/arch/arm/package.use.stable.mask')
-rw-r--r--profiles/arch/arm/package.use.stable.mask4
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/arch/arm/package.use.stable.mask b/profiles/arch/arm/package.use.stable.mask
index 18f0f7b726f7..2f3ff24cd5eb 100644
--- a/profiles/arch/arm/package.use.stable.mask
+++ b/profiles/arch/arm/package.use.stable.mask
@@ -1,6 +1,10 @@
# Copyright 1999-2019 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
+# Michał Górny <mgorny@gentoo.org> (2019-09-08)
+# virtual/jdk is not stable here.
+sci-mathematics/z3 java
+
# Mart Raudsepp <leio@gentoo.org> (2019-08-27)
# Missing stable net-libs/webkit-gtk
dev-util/glade webkit