Prebuilt packages for Linux

See also Agda User Manual for installation instructions.

Reporting bugs

Please report any bugs to Debian, using:

$ reportbug -B debian agda

for the executable:

$ reportbug -B debian agda-bin

for the standard library:

$ reportbug -B debian agda-stdlib

More information


This looks outdated, Agda-executable is deprecated!

Prebuilt packages are also available for Arch. To install Agda, run the following command:

  yaourt agda-executable

Does this include the Emacs mode?

The following packages are available:

Statically-linked executables

Experimental executables (statically-linked, compiled for x86_64) are being continuously built by travis and uploaded to dropbox. Extracting the tarball and running (as root) should be enough to install an agda executable.