diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 9b022d6f257f..18c68ae94b97 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,12 @@ #--- END OF EXAMPLES --- +# Miroslav Šulc <fordfrog@gentoo.org> (23 Jan 2019) +# Depends on >=virtual/{jdk,jre}-11 which is masked +=dev-java/ant-eclipse-ecj-4.10 +=dev-java/eclipse-ecj-4.10 +=www-servers/tomcat-9.0.14 + # Ulrich Müller <ulm@gentoo.org> (19 Jan 2019) # Last release in 1999, last visible upstream activity in 2011. # Byte-compilation fails. Masked for removal in 30 days, bug #675814. |