Package: libservlet3.1-java
Architecture: all
Version: 1:4.0.1-2
Priority: optional
Section: universe/java
Source: servlet-api (4.0.1-2)
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 43
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-2_all.deb
Size: 9276
MD5sum: 193faeefce5a83041f9571625b18a842
SHA1: c48ce29849ef65b1fd7ef08c25fc97dba3d282d1
SHA256: 7e9a20df81142330c6af8904e340882a9ad4bb80d666269d0f7582b93b952c22
SHA512: fc85ec0a72b9f89eb7cc01bdaa154b0495bf8984a508b076bc18df3bcad9cb5f74e1c1947818bbe2ff643d652d1b992c4a67b9a7c3139d626f47ce9aaaa37d21
Homepage: https://javaee.github.io/servlet-spec/
Description: Java Servlet API 3.1 (transitional package)
Task: edubuntu-desktop-gnome
Description-md5: 9bffcb516c5a59b32245d52982d65af1