Package: libservlet-api-java-doc
Source: servlet-api
Priority: optional
Section: universe/doc
Installed-Size: 7527
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
SHA512: 0d278b63455debf091cb64796cd5138b5fa6272ab42c76737a3ed25dd025dcc726375918b7b4809a0465f9a49ea7f819783c6787a215397e6dc8b3a6524488af
Homepage: https://javaee.github.io/servlet-spec/
Description: Java Servlet API (documentation)
Description-md5: 06944ab57215b34065b7865853566f12
Original-Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug