Package: libservlet-api-java
Source: servlet-api
Priority: optional
Section: universe/java
Installed-Size: 138
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 4.0.1-2build1
Replaces: libservlet2.5-java
Breaks: libservlet2.5-java
Filename: pool/universe/s/servlet-api/libservlet-api-java_4.0.1-2build1_all.deb
Size: 81482
SHA512: e80c138ed570550303f2903f900b0987ce24180eae441a9175216ad16c8dffa26776d5dadc8ba5db8312ae16caaafccf99c65d55276af8aa5d2a902808299e85
Homepage: https://javaee.github.io/servlet-spec/
Description: Java Servlet API
Description-md5: c942588df237a55e3cfaa3baa4bc61cf
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