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


The following prebuilt 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.