Package Descriptions for Ubuntu

Browsing Russian translation

  1. Series quantal
  2. Template “ddtp-ubuntu-universe”
  3. Russian (ru)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and Russian guidelines.
21 → 30 of 40356 results First • • • Last
334.
a dependently typed programming language - standard library
 
Summary
(no translation yet)
Located in Package: agda-stdlib
336.
a dependently typed programming language - documentation
 
Summary
(no translation yet)
Located in Package: agda-stdlib-doc
337.
The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include:
- Algebra: Specifying and reasoning about abstract algebraic structures
- Category: Using idioms from category theory to structure functional programs
- Coinduction: Support for programming coindutively
- Data: Data types and properties about data types
- Foreign: Relating to the foreign function interface
- Induction: A general framework for induction
- IO: Input/output related functions
- Level: Universe levels
- Relations: Properties of and proofs about relations
- Size: Sizes used by the sized types mechanism
 
Description
There are line breaks here. Each one represents a line break. Start a new line in the equivalent position in the translation.
There are leading/trailing spaces here. Each one represents a space character. Enter a space in the equivalent position in the translation.
(no translation yet)
Located in Package: agda-stdlib-doc Package: agda-stdlib
342.
To make this difference, agedu relies on the atime of the files.
 
Description
(no translation yet)
Located in Package: agedu
345.
* Multiple agendas.
* Handle both events and tasks.
* Support for local and remote (ftp, http) iCalendar agendas.
* Monthly calendar, day view, summary and tasks view.
* Create, resize and move appointments easily.
* Export individual elements as files and to the pasteboard.
* Import .ics files.
* Simple text search.
 
Description
There are line breaks here. Each one represents a line break. Start a new line in the equivalent position in the translation.
There are leading/trailing spaces here. Each one represents a space character. Enter a space in the equivalent position in the translation.
(no translation yet)
Located in Package: agenda.app
346.
ipv4 cidr prefix aggregator
 
Summary
(no translation yet)
Located in Package: aggregate
347.
takes a list of prefixes in conventional format on stdin, and performs two optimisations to reduce the length of the prefix list. It removes any supplied prefixes which are supurfluous because they are already included in another supplied prefix (e.g., 203.97.2.0/24 would be removed if 203.97.0.0/17 was also supplied), and identifies adjacent prefixes that can be combined under a single, shorter-length prefix (e.g., 203.97.2.0/24 and 203.97.3.0/24 can be combined into the single prefix 203.97.2.0/23).
 
Description
(no translation yet)
Located in Package: aggregate
348.
Synchronization mediator for AvantGo and Pocket PC
 
Summary
(no translation yet)
Located in Package: agsync
349.
This package contains the AvantGo - Pocket PC synchronization mediator command line application.
 
Description
(no translation yet)
Located in Package: agsync
350.
Development files for AvantGo and Pocket PC synchronization
 
Summary
(no translation yet)
Located in Package: agsync-dev
21 → 30 of 40356 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.

Contributors to this translation: Aleksey Kabanov, Alexey Nedilko, Alexey Reztsov, Andrey Dedikov, Anton Patsev, Anton Reshin, Artem, Artem Slepnev, Auduf, Beatrix Kiddo, Belyaev Nikolay, Dan Korostelev, Dmitry Tantsur, Dmitry Tumaikin, Dr Gregory House, Eugene Roskin, Evgeniy Devyatkin, Igor Zubarev, IvaSerge, Kljashtornij Nikolaj, Konstantin Tokarev, Maxym, Michael Vogt, Minakov Arthur, Oleg Koptev, OrlOFF, Pavel, Pavel Kurashov, Pavlenty, Rodion R., Roman Semirook, Sergey "Shnatsel" Davidoff, Sergey Basalaev, Sergey Fukanchik, Sergey Sedov, Steve Langasek, Valentina Mukhamedzhanova, Vjaĉeslav Ivanov, Vladimir Prokopenko, mikhail2704, skybon, vofka, Łukasz Zemczak, Даниил Рыжков.