Package: libservlet-api-java-doc Source: servlet-api Priority: optional Section: universe/doc Installed-Size: 7527 Maintainer: Ubuntu Developers Architecture: all Version: 4.0.1-2build1 Recommends: default-jdk-doc Replaces: libservlet3.1-java-doc Provides: libservlet3.1-java-doc Breaks: libservlet3.1-java-doc Filename: pool/universe/s/servlet-api/libservlet-api-java-doc_4.0.1-2build1_all.deb Size: 218698 MD5sum: 30294c5ab0a750baa9a0402e75622818 SHA1: f046c4be2327d0ea6cbb018802250b32d31fcf4a SHA256: 0f687c1abeb583c8f929166691ab7288faaf4b0cc9b15c8f1efd7d0fb7be0be4 SHA512: 0d278b63455debf091cb64796cd5138b5fa6272ab42c76737a3ed25dd025dcc726375918b7b4809a0465f9a49ea7f819783c6787a215397e6dc8b3a6524488af Homepage: https://javaee.github.io/servlet-spec/ Description: Java Servlet API (documentation) Description-md5: 06944ab57215b34065b7865853566f12 Original-Maintainer: Debian Java Maintainers Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug