|
|
477.
|
|
|
data files for AfterStep window manager
|
|
|
Summary
|
|
|
|
|
файлы данных для менджера окон AfterStep
|
|
Translated by
Sergey Basalaev
|
|
|
|
Located in
Package: afterstep-data
|
|
|
478.
|
|
|
The package contains data and configuration files needed by AfterStep.
|
|
|
Description
|
|
|
|
|
Пакет содержит файлы данных и конфигурационные файлы, необходимые для AfterStep.
|
|
Translated by
Sergey Basalaev
|
|
|
|
Located in
Package: afterstep-data
|
|
|
479.
|
|
|
automounting file system implemented in user-space using FUSE
|
|
|
Summary
|
|
|
|
|
автомонтирование файловых систем осуществляемое в пользовательском пространстве с помощью FUSE
|
|
Translated by
Michael Vogt
|
|
Reviewed by
Dr Gregory House
|
|
|
|
Located in
Package: afuse
|
|
|
480.
|
|
|
Afuse is a FUSE based filesystem which implements filesystem automounting functionality similar to Linux's autofs.
|
|
|
Description
|
|
|
|
|
Afuse -- это файловая система, основанная на FUSE, предоставляет возможность автомонтирования файловых систем подобно как это делает Linux autofs.
|
|
Translated by
Michael Vogt
|
|
Reviewed by
Dr Gregory House
|
|
|
|
Located in
Package: afuse
|
|
|
481.
|
|
|
This is a meta package which provides Agda's emacs mode, executable, standard library and its documentation.
|
|
|
Summary
|
|
|
|
|
Метапакет, предоставляющий Agda-режим для Emacs, исполняемые файлы, стандартные библиотеки и документацию.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agda
|
|
|
482.
|
|
|
commandline interface to Agda
|
|
|
Summary
|
|
|
|
|
интерфейс командной строки для Agda
|
|
Translated by
Sergey Basalaev
|
|
|
|
Located in
Package: agda-bin
|
|
|
483.
|
|
|
This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
|
|
|
Description
|
|
|
|
|
В этот пакет включены консольные программы для проверки и компиляции Agda программ. Программа также может генерировать гиперссылки и HTML файлы из исходных кодов Agda.
|
|
Translated by
IvaSerge
|
|
Reviewed by
Dmitry Tumaikin
|
|
|
|
Located in
Package: agda-bin
|
|
|
484.
|
|
|
transitional dummy package for elpa-agda2-mode
|
|
|
Summary
|
|
|
|
|
пустой переходный пакет для elpa-agra2-mode
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agda-mode
|
|
|
485.
|
|
|
agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.
|
|
|
Description
|
|
|
|
|
agda-mode добавлен в архив ELPA. См. пакет elpa-agda2-mode. Это переходный пакет и его можно безопасно удалить.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agda-mode
|
|
|
486.
|
|
|
standard library for Agda
|
|
|
Summary
|
|
|
|
|
библиотека стандартных программ для Agda
|
|
Translated by
Sergey Basalaev
|
|
|
|
Located in
Package: agda-stdlib
|
