summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPatrice Clement <monsieurp@gentoo.org>2015-12-05 12:07:11 +0000
committerPatrice Clement <monsieurp@gentoo.org>2015-12-05 12:08:03 +0000
commit174b87545399d9679cb1cca3bcba20d87db931c6 (patch)
tree7c7ccdad1eb9b336a9f236614327669e7f40a8e0 /profiles
parentdev-java/cortado: EAPI 5 bump. Keyword for ppc+ppc64. (diff)
downloadgentoo-174b87545399d9679cb1cca3bcba20d87db931c6.tar.gz
gentoo-174b87545399d9679cb1cca3bcba20d87db931c6.tar.bz2
gentoo-174b87545399d9679cb1cca3bcba20d87db931c6.zip
profiles/package.mask: Mask dev-java/{jpf,jpfcodegen} for removal. See bug 567580.
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r--profiles/package.mask6
1 files changed, 6 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index 4f95a0afefe..ede0f5fced6 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,12 @@
#--- END OF EXAMPLES ---
+# Patrice Clement <monsieurp@gentoo.org> (05 Dec 2015)
+# Upstream dead: no update since 2007.
+# Masked for removal in 30 days. See bug #567580.
+dev-java/jpf
+dev-java/jpfcodegen
+
# Robin H. Johnson <robbat2@gentoo.org> (04 Dec 2015)
# Much early testing needed
>=sys-cluster/ceph-9