Download

Libraries

Note that the standard library is not bundled with all packages described below, and that other libraries are also available.

Source

Latest release

• 2023-01-30: Version 2.6.3 (release notes, installation instructions, GHC 8.0.2-9.4.4).

The preferred way of installing Agda is from Hackage (see instructions here). If you encounter a problem with your installation, have a look at the Getting Started.

Development version

The development version contains the latest features and bug fixes that have not been released yet.

• Git repository. README. CHANGELOG.
• You can get the development version as follows:

  git clone https://github.com/agda/agda.git

Old releases

• 2022-08-15: Version 2.6.2.2 Revision 2 (release notes, installation instructions, GHC 8.0-9.4).
• 2022-04-02: Version 2.6.2.2 (release notes, installation instructions, GHC 8.0-9.2).
• 2021-12-08: Version 2.6.2.1 (release notes, installation instructions, GHC 8.0-9.2).
• 2021-06-19: Version 2.6.2 (release notes, installation instructions, GHC 8.0-9.0).
• 2021-02-07: Version 2.6.1.3 (release notes, installation instructions, GHC 8.0-8.10).
• 2021-02-03: Version 2.6.1.2 (release notes, installation instructions, GHC 8.0-8.10).
• 2020-09-08: Version 2.6.1.1 (release notes, installation instructions, GHC 8.0-8.10).
• 2020-03-16: Version 2.6.1 (release notes, installation instructions, GHC 8.0-8.8).
• 2019-05-17: Version 2.6.0.1 (release notes, installation instructions, GHC 7.10-8.6).
• 2019-04-12: Version 2.6.0 (release notes, installation instructions, GHC 7.10-8.6).
• 2018-10-29: Version 2.5.4.2 (release notes, installation instructions, GHC 7.10-8.4).
• 2018-07-19: Version 2.5.4.1 (release notes, installation instructions, GHC 7.10-8.4).
• 2018-06-02: Version 2.5.4 (release notes, installation instructions, GHC 7.10-8.4).
• 2017-09-08: Version 2.5.3 (release notes, installation instructions, GHC 7.8-8.2).
• 2016-12-22: Version 2.5.2 (release notes, installation instructions, GHC 7.6-8.0).
• 2016-11-25: Version 2.5.1.2 (release notes, installation instructions, GHC 7.6-8.0).
• 2016-06-21: Version 2.5.1.1 (release notes, installation instructions, GHC 7.6-7.10).
• 2016-04-16: Version 2.5.1 (release notes, installation instructions, GHC 7.6-7.10).
• 2015-12-18: Version 2.4.2.5 (release notes, installation instructions, GHC 7.6-7.10).
• 2015-09-26: Version 2.4.2.4 (release notes, installation instructions, GHC 7.6-7.10).
• 2015-05-25: Version 2.4.2.3 (release notes, installation instructions, GHC 7.4-7.10).
• 2014-11-26: Version 2.4.2.2 (release notes, installation instructions, GHC 7.0-7.8).
• 2014-11-14: Version 2.4.2.1 (release notes, installation instructions, GHC 7.0-7.8).
• 2014-08-29: Version 2.4.2 (release notes, installation instructions, GHC 7.0-7.8).
• 2014-07-29: Version 2.4.0.2 (release notes, installation instructions, GHC 7.0-7.8).
• 2014-06-20: Version 2.4.0.1 (release notes, installation instructions, GHC 7.0-7.8).
• 2014-06-05: Version 2.4.0 (release notes, installation instructions, GHC 7.0-7.8).
• 2013-10-30: Version 2.3.2.2 (release notes, installation instructions).
• 2013-06-10: Version 2.3.2.1 (release notes, installation instructions).
• 2012-11-12: Version 2.3.2 (release notes, installation instructions).
• 2011-11-23: Version 2.3.0.1 (release notes, installation instructions).
• 2011-02-20: Version 2.2.10 (release notes, installation instructions).
• 2010-09-27: Version 2.2.8 (release notes, installation instructions).
• 2009-12-23: Version 2.2.6 (release notes, installation instructions).
• 2009-07-09: Version 2.2.4 (release notes, installation instructions).
• 2009-04-16: Version 2.2.2 (release notes).
• 2009-03-17: Version 2.2.0 (release notes).
• Version 2.1.2 (release notes).
• Version 2.1.0 (release notes).
• Version 2.0.1 (Bug fix release).
• Version 2.0.0 (release notes).

Installation (old/outdated instructions)

• Windows
• Mac OS X
• Statically-linked executables for Linux
  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.
• Anton Setzer's Installation of Agda under Linux from source for Nonprogrammers (see as well http://www.cs.swan.ac.uk/~csetzer/othersoftware/agda2/agda2installation.html) written for students at Swansea University.
• Updating Agda after having installed it from source.