Branches for Groovy

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