|
|
492.
|
|
|
automounting file system implemented in user-space using FUSE
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: afuse
|
|
|
493.
|
|
|
Afuse is a FUSE based filesystem which implements filesystem automounting functionality similar to Linux's autofs.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: afuse
|
|
|
494.
|
|
|
colorscheme designer for the GNOME desktop
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agave
|
|
|
495.
|
|
|
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
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agave
|
|
|
496.
|
|
|
This is a meta package which provides Agda's emacs mode, executable, standard library and its documentation.
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda
|
|
|
497.
|
|
|
commandline interface to Agda
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-bin
|
|
|
498.
|
|
|
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
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-bin
|
|
|
499.
|
|
|
dependently typed functional programming language — emacs mode
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: elpa-agda2-mode
|
|
|
500.
|
|
|
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
|
|
|
501.
|
|
|
standard library for Agda
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: agda-stdlib
|
