Package: tomcat10-docs Source: tomcat10 Priority: optional Section: universe/doc Installed-Size: 4435 Maintainer: Ubuntu Developers Architecture: all Version: 10.1.57~us1-0ubuntu1 Depends: tomcat10-common (>= 10.1.57~us1-0ubuntu1) Filename: pool/universe/t/tomcat10/tomcat10-docs_10.1.57~us1-0ubuntu1_all.deb Size: 1353150 SHA512: 0657138c63bf4267e7ad8f807f1f4da9cd525a194a92afb96fded3466535bde9feea73c89e1177ff63623c5ba6d36fcc7ec895023980b44968cfc158a5069de0 Homepage: http://tomcat.apache.org Description: Apache Tomcat 10 - Servlet and JSP engine -- documentation Description-md5: 2147ce216a5b282c48b18dd96d1cd09d Original-Maintainer: Debian Java Maintainers Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug