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.
333 → 342 of 54563 results First • • • Last
333.
This package contains the emacs interactive development mode for Agda. This mode is the preferred way to write Agda code, and offers features such as iterative development, refinement, case analysis and so on.
 
Description
(no translation yet)
Located in Package: elpa-agda2-mode
334.
a dependently typed programming language - standard library
 
Summary
(no translation yet)
Located in Package: agda-stdlib
335.
This package contains the complete library.
 
Description
Этот пакет содержит полную библиотеку.
Translated and reviewed by Даниил Рыжков
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
338.
This package contains the hyperlinked library documentation.
 
Description
Этот пакет содержит гипертекстовую документацию для библиотеки.
Translated and reviewed by Aleksey Kabanov
Located in Package: agda-stdlib-doc
339.
a Unix utility for tracking down wasted disk space
 
Summary
утилита Unix для отслеживания использования дискового пространства
Translated by Sergey Basalaev
Located in Package: agedu
340.
Unix provides the standard du utility, which scans your disk and tells you which directories contain the largest amounts of data. That can help you narrow your search to the things most worth deleting.
 
Description
Unix предоставляет стандартную утилиту du, которая сканирует диск и сообщает, какие каталоги содержат наибольшие объёмы данных. Это может помочь вам найти объекты, которые стоит удалить в первую очередь.
Translated by Sergey Basalaev
Located in Package: agedu
341.
However, that only tells you what's big. What you really want to know is what's too big. By itself, du won't let you distinguish between data that's big because you're doing something that needs it to be big, and data that's big because you unpacked it once and forgot about it.
 
Description
Однако она лишь сообщит, какие из них являются большими. Нам же нужно знать, какие являются слишком большими. Сама по себе, du не позволит вам отличить данные, которые занимают много места, потому что они делают что-то, требующее от них быть большими, от тех данных, которые занимают много места потому, что вы их когда-то распаковали и забыли про них.
Translated by Aleksey Kabanov
Located in Package: agedu
342.
To make this difference, agedu relies on the atime of the files.
 
Description
(no translation yet)
Located in Package: agedu
333 → 342 of 54563 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, Даниил Рыжков.