deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Breaks: libservlet3.1-java-doc
Description: |-
Java Servlet API (documentation)
The Servlet API is the Java platform technology of choice for interacting
with the web. Servlets provide a component-based, platform-independent
method, for building web-based applications generating dynamic content.
Servlets are managed by a container and interact with web clients via a
request/response paradigm.
.
This package contains the API documentation of libservlet-api-java.
Homepage: https://javaee.github.io/servlet-spec/
Installed-Size: '5071'
Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Package: libservlet-api-java-doc
Priority: optional
Provides: libservlet3.1-java-doc
Recommends: default-jdk-doc
Replaces: libservlet3.1-java-doc
Section: doc
Source: servlet-api
Version: 4.0.1-2
srcpkg_name: servlet-api
srcpkg_version: 4.0.1-2