Prebuilt packages for Linux
See also Agda User Manual for installation instructions.
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
- Agda (Debian)
- Agda executable (Debian)
- Agda standard library (Debian)
- Agda (Ubuntu)
- Agda executable (Ubuntu)
- Agda standard library (Ubuntu)
This looks outdated, Agda-executable is deprecated!
Prebuilt packages are also available for Arch. To install Agda, run the following command:
Does this include the Emacs mode?
The following packages are available:
Experimental executables (statically-linked, compiled for x86_64) are being continuously built by travis and uploaded to dropbox. Extracting the tarball and running deploy.sh (as root) should be enough to install an agda executable.