Package: libservlet-api-java Source: servlet-api Priority: optional Section: universe/java Installed-Size: 138 Maintainer: Ubuntu Developers 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 MD5sum: e8b52bcd57e6ffc40ca467d75b18ab1f SHA1: 5874d45a965d328ab25be12fbdccb1e57e43a47b SHA256: aa6a300a56e8be5acbe9343653f0d2572da27512b0ae50afe659f8bbf669e9d0 SHA512: e80c138ed570550303f2903f900b0987ce24180eae441a9175216ad16c8dffa26776d5dadc8ba5db8312ae16caaafccf99c65d55276af8aa5d2a902808299e85 Homepage: https://javaee.github.io/servlet-spec/ Description: Java Servlet API Description-md5: c942588df237a55e3cfaa3baa4bc61cf Original-Maintainer: Debian Java Maintainers Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Task: edubuntu-desktop-gnome, edubuntu-desktop-gnome-raspi