Launchpad currently recommends translating coq in Ubuntu Impish.

No translatable templates available

Either this project has not been set up to use Launchpad for translation, or coq in Ubuntu Impish does not have any strings to be translated through Launchpad. If you think this is incorrect, please see if the subject has already come up under Answers. If it hasn't, file a new question there. Thank you.

Other versions of coq in Ubuntu