diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index b39150dae67a..4af1a4b3bab6 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -321,10 +321,10 @@ net-libs/nDPI # Miroslav Šulc <fordfrog@gentoo.org> (2020-02-27) # >=dev-java/ant-eclipse-ecj-4.10 depends on masked >=virtual/{jdk,jre}-11 -# www-servers/tomcat:9 depends on masked dev-java/eclipse-ecj +# www-servers/tomcat >= 9 depends on masked dev-java/eclipse-ecj >=dev-java/ant-eclipse-ecj-4.10 >=dev-java/eclipse-ecj-4.10 -www-servers/tomcat:9 +>=www-servers/tomcat-9 # Mart Raudsepp <leio@gentoo.org> (2020-02-16) # Fails to automatically launch pipewire for me. Help welcome figuring it out. |