Виртуальный пакет: libservlet3.1-java-doc

This is a virtual package. See the Debian policy for a definition of virtual packages.

Пакеты, предоставляющие libservlet3.1-java-doc

libservlet-api-java-doc

Java Servlet API (documentation)