diff options
author | 2019-02-10 15:10:05 +0100 | |
---|---|---|
committer | 2019-02-10 15:10:05 +0100 | |
commit | 923c56affdfa8fb5f318e2b2de3b0ba135048091 (patch) | |
tree | ce20742eff285999b317aea31ef37b28a52a926a | |
parent | dev-java/tomcat-servlet-api-9.0.16: bump (diff) | |
download | gentoo-923c56affdfa8fb5f318e2b2de3b0ba135048091.tar.gz gentoo-923c56affdfa8fb5f318e2b2de3b0ba135048091.tar.bz2 gentoo-923c56affdfa8fb5f318e2b2de3b0ba135048091.zip |
profiles/package.mask: dev-java/tomcat-9.0.16
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 198eb5f680eb..be6663227716 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,10 @@ #--- END OF EXAMPLES --- +# Miroslav Šulc <fordfrog@gentoo.org> (10 Dwb 2019) +# Depends on >=virtual/{jdk,jre}-11 which is masked +=www-servers/tomcat-9.0.16 + # Brian Evans <grknight@gentoo.org> (7 Feb 2019) # These packages will not build properly under the new split # library package easily and have no maintainer. |