Binary descriptions:

agda: dependently typed functional programming language
agda-bin: commandline interface to Agda
agda-mode: No summary available for agda-mode in ubuntu saucy.
libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu saucy.
libghc-agda-doc: dependently typed functional programming language; documentation

Last common version:

2.3.2.2-1