Package Descriptions for Ubuntu

Browsing Brazilian Portuguese translation

  1. Series hirsute
  2. Template “ddtp-ubuntu-multiverse”
  3. Brazilian Portuguese (pt_BR)
  4. Browsing Brazilian Portuguese transla...
206 of 2204 results First • • • Last
206.
documentation for Coq in pdf format
 
Summary
documentação para o Coq em formato PDF
Translated by João Paulo Pizani Flor
Reviewed by André Gondim
Located in Package: coq-doc-pdf
206 of 2204 results First • • • Last

This translation is managed by Ubuntu Brazilian Portuguese Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.