Questions for prover9-manual in Debian

Launchpad does not know where prover9-manual in Debian tracks support requests.