Branches for Hirsute

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