From: Patrice Clement Date: Sat, 5 Dec 2015 12:07:11 +0000 (+0000) Subject: profiles/package.mask: Mask dev-java/{jpf,jpfcodegen} for removal. See bug 567580. X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=174b87545399d9679cb1cca3bcba20d87db931c6;p=gentoo.git profiles/package.mask: Mask dev-java/{jpf,jpfcodegen} for removal. See bug 567580. Signed-off-by: Patrice Clement --- diff --git a/profiles/package.mask b/profiles/package.mask index 4f95a0afefe7..ede0f5fced6b 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,12 @@ #--- END OF EXAMPLES --- +# Patrice Clement (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 (04 Dec 2015) # Much early testing needed >=sys-cluster/ceph-9