Questions for why3 in Debian

Launchpad does not know where why3 in Debian tracks support requests.