|
|
341.
|
|
|
AfterStep is a continuation of the BowMan window manager project, but the name was changed to reflect the desire that it do more than simply emulate and become a valuable window manager in its own right.
|
|
|
Description
|
|
|
|
|
AfterStep é uma continuação do projeto de gerenciador de janelas BowMan, mas o nome foi alterado para refletir o desejo de que ele faz mais do que simplesmente emular e quer se tornar um valioso gerenciador de janelas por seu próprio mérito.
|
|
Translated and reviewed by
Michael Vogt
|
|
|
|
Located in
Package: afterstep
|
|
|
342.
|
|
|
automounting file system implemented in user-space using FUSE
|
|
|
Summary
|
|
|
|
|
sist. de arquiv. auto-montável implement. no espaço de usuário usando FUSE
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: afuse
|
|
|
343.
|
|
|
Afuse is a FUSE based filesystem which implements filesystem automounting functionality similar to Linux's autofs.
|
|
|
Description
|
|
|
|
|
Afuse é um sistema de arquivos baseado em FUSE que implementa a funcionalidade de sistema de arquivos auto-montável similar ao autofs do Linux.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: afuse
|
|
|
344.
|
|
|
colorscheme designer for the GNOME desktop
|
|
|
Summary
|
|
|
|
|
criador de esquemas de cores para a área de trabalho GNOME
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agave
|
|
|
345.
|
|
|
Agave is a very simple application for the GNOME desktop that allows you to generate a variety of colorschemes from a single starting color.
|
|
|
Description
|
|
|
|
|
Agave é uma aplicação muito simples para a área de trabalho GNOME que permite a você gerar uma variedade de esquemas de cores a partir de uma única cor inicial.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agave
|
|
|
346.
|
|
|
Commandline interface to Agda
|
|
|
Summary
|
|
|
|
|
interface em linha de comando para Agda
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agda-bin
|
|
|
347.
|
|
|
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
|
|
|
|
|
Este pacote fornece um programa em linha de comando para verificação de tipos e compilação de programas Agda. O programa também pode gerar arquivos HTML com realce e hiperlinks a partir de fontes Agda.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: agda-bin
|
|
|
348.
|
|
|
the emacs mode for Agda
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-mode
|
|
|
349.
|
|
|
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
|
|
|
350.
|
|
|
a dependently typed programming language - standard library
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-stdlib
|
