Questions for Coq

Launchpad does not know where Coq tracks support requests.

Coq questions are tracked in: coq in Ubuntu.