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

Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.

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

libservlet-api-java-doc

Java Servlet API (documentation)