Package: libservlet-api-java-doc
Architecture: all
Version: 4.0.1-2~18.04
Priority: optional
Section: universe/doc
Source: servlet-api
Origin: Ubuntu
Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4725
Provides: libservlet3.1-java-doc
Recommends: default-jdk-doc
Breaks: libservlet3.1-java-doc
Replaces: libservlet3.1-java-doc
Filename: pool/universe/s/servlet-api/libservlet-api-java-doc_4.0.1-2~18.04_all.deb
Size: 402008
MD5sum: 294c0b40c8434c38106107b21ad882a1
SHA1: aa33dd37b542af2b1f473363b9a5b75969367dc0
SHA256: d3139ddacd81c8d8341586a3c98624301a51df6df527fb31584ece6858e70413
SHA512: ed0ccbada8f1fd05690c93160a57790f0380445a2bce69ac672e91cf9d97a2479b942267dca11ab4aea2ecf53f5efd71e98826fd14f74facccfd21e1d866fe92
Homepage: https://javaee.github.io/servlet-spec/
Description: Java Servlet API (documentation)
Description-md5: 06944ab57215b34065b7865853566f12