diff options
author | Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2021-06-20 10:09:07 +0200 |
---|---|---|
committer | Miroslav Šulc <fordfrog@gentoo.org> | 2021-06-20 10:25:48 +0200 |
commit | cd84f70cf3fd499b4512994fdea2ed7966dcedea (patch) | |
tree | ca25023495c3e6d25389f430683f31edc3fdd136 /profiles | |
parent | media-sound/amsynth: removed obsolete 1.8.0 (diff) | |
download | gentoo-cd84f70cf3fd499b4512994fdea2ed7966dcedea.tar.gz gentoo-cd84f70cf3fd499b4512994fdea2ed7966dcedea.tar.bz2 gentoo-cd84f70cf3fd499b4512994fdea2ed7966dcedea.zip |
profiles/package.mask: several dev-java/* last-rites
Bug: https://bugs.gentoo.org/796587
Bug: https://bugs.gentoo.org/561504
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/21341
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 2bc38b4d1f87..e5d429cb0bde 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -32,6 +32,16 @@ #--- END OF EXAMPLES --- +# Volkmar W. Pogatzki <gentoo@pogatzki.net> (2021-06-20) +# no consumer, removal in 30 days +# see bug: https://bugs.gentoo.org/796587 +# and https://bugs.gentoo.org/561504 +dev-java/annogen +dev-java/xml-xmlbeans +java-virtuals/stax-api +dev-java/jsr173 +dev-java/jibx-tools + # Conrad Kostecki <conikost@gentoo.org> (2021-06-20) # New Minecraft server release needs at least Java 16, # which is currently not available in Gentoo. |