Questions for z3 in Debian

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