Package Descriptions for Ubuntu

Browsing Russian translation

  1. Series quantal
  2. Template “ddtp-ubuntu-multiverse”
  3. Russian (ru)
  4. Browsing Russian translation
192 of 1774 results First • • • Last
192.
documentation for Coq in pdf format
 
Summary
документация для Coq в pdf формате
Translated and reviewed by Dmitry Tumaikin
Located in Package: coq-doc-pdf
192 of 1774 results First • • • Last

This translation is managed by Russian Ubuntu Translators, assigned by Ubuntu Translators.

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