Branches for Mantic

There are no branches of coq in Ubuntu Mantic in Launchpad.