Package: libservlet3.1-java
Source: servlet-api (4.0.1-2build1)
Priority: optional
Section: universe/java
Installed-Size: 43
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 1:4.0.1-2build1
Provides: libservlet3.1-java
Depends: libservlet-api-java, libjsp-api-java, libel-api-java, libwebsocket-api-java
Filename: pool/universe/s/servlet-api/libservlet3.1-java_4.0.1-2build1_all.deb
Size: 9302
SHA512: 032d1e340cb9b3dee819692ae768b21e7c0f7b6cebb8a1b875d96fb11ea2db736838ecccb52c3c201e41dec2de62cba4c8cb7ebdd525dca96ba3d25906f2701d
Homepage: https://javaee.github.io/servlet-spec/
Description: Java Servlet API 3.1 (transitional package)
Description-md5: 9bffcb516c5a59b32245d52982d65af1
Original-Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Task: edubuntu-desktop-gnome, edubuntu-desktop-gnome-raspi