图书馆
请注意标准库不是与下面描述的所有软件包捆绑在一起，并且其他库也可以使用。
来源
最新版本
安装Agda的首选方法是黑客攻击（参见说明在这里). 如果在安装过程中遇到问题，请查看入门.
开发版本
开发版本包含尚未发布的最新功能和错误修复。
git克隆https://github.com/agda/agda.git
早期版本
（Stackage LTS是包含相应Agda版本的最后一个LTS。）
- 2024-02-24:版本2.6.4.2(发行说明,安装，GHC 8.6-9.8，堆叠灯22.12).
- 2023-11-30:版本2.6.4.1(发行说明,安装，GHC 8.6-9.8，堆叠灯22.11).
- 2023-10-06:版本2.6.4(发行说明,安装，GHC 8.6-9.8，堆叠灯21.22).
- 2023-10-13:版本2.6.3第5次修订(发行说明,安装，GHC 8.0-9.8）。
- 2023-03-15:版本2.6.3修订版1(发行说明,安装，GHC 8.0-9.6，堆叠灯21.14).
- 2023-01-30:版本2.6.3(发行说明,安装，GHC 8.0-9.4）。
- 2022-08-15:版本2.6.2.2版本2(发行说明,安装，GHC 8.0-9.4，堆叠灯20.26).
- 2022-04-02:版本2.6.2.2(发行说明,安装，GHC 8.0-9.2）。
- 2021-12-08:版本2.6.2.1(发行说明,安装，GHC 8.0-9.2，堆叠灯18.28).
- 2021-06-19:版本2.6.2(发行说明,安装，GHC 8.0-9.0，堆叠灯18.18).
- 2021-02-07:版本2.6.1.3(发行说明,安装，GHC 8.0-8.10，堆叠灯18).
- 2021-02-03:版本2.6.1.2(发行说明,安装，GHC 8.0-8.10）。
- 2020-09-08:版本2.6.1.1(发行说明,安装，GHC 8.0-8.10）。
- 2020-03-16:版本2.6.1(发行说明,安装，GHC 8.0-8.8）。
- 2019-05-17:版本2.6.0.1(发行说明,安装，GHC 7.10-8.6）。
- 2019-04-12:2.6.0版(发行说明,安装，GHC 7.10-8.6）。
- 2018-10-29:2.5.4.2版(发行说明,安装，GHC 7.10-8.4，堆叠LTS12.26).
- 2018-07-19:版本2.5.4.1(发行说明,安装，GHC 7.10-8.4，堆叠LTS12.14).
- 2018-06-02:2.5.4版(发行说明,安装，GHC 7.10-8.4，堆叠LTS12.1).
- 2017-09-08:2.5.3版(发行说明,安装，GHC 7.8-8.2，堆叠灯11.22).
- 2016-12-22:2.5.2版(发行说明,安装，GHC 7.6-8.0，堆叠灯9.3).
- 2016年11月25日：版本2.5.1.2(发行说明,安装，GHC 7.6-8.0）。
- 2016-06-21:版本2.5.1.1(发行说明,安装，GHC 7.6-7.10，堆叠灯7.24).
- 2016-04-16:2.5.1版(发行说明,安装，GHC 7.6-7.10，堆叠灯6.35).
- 2015-12-18:版本2.4.2.5(发行说明,安装，GHC 7.6-7.10，堆叠灯5.18).
- 2015-09-26:版本2.4.2.4(发行说明,安装，GHC 7.6-7.10，堆叠灯3.18).
- 2015-05-25:版本2.4.2.3(发行说明,安装，GHC 7.4-7.10，堆叠LTS3.6).
- 2014-11-26:版本2.4.2.2(发行说明,安装，GHC 7.0-7.8）。
- 2014-11-14:版本2.4.2.1(发行说明,安装，GHC 7.0-7.8）。
- 2014-08-29:2.4.2版(发行说明,安装，GHC 7.0-7.8）。
- 2014-07-29:版本2.4.0.2(发行说明,安装，GHC 7.0-7.8）。
- 2014-06-20:版本2.4.0.1(发行说明,安装，GHC 7.0-7.8）。
- 2014-06-05:2.4.0版(发行说明,安装，GHC 7.0-7.8）。
- 2013-10-30:版本2.3.2.2(发行说明,安装).
- 2013-06-10:2.3.2.1版(发行说明,安装).
- 2012年11月12日：2.3.2版(发行说明,安装).
- 2011-11-23:2.3.0.1版(发行说明,安装).
- 2011-02-20:2.2.10版(发行说明,安装).
- 2010-09-27:2.2.8版(发行说明,安装).
- 2009-12-23:2.2.6版(发行说明,安装).
- 2009-07-09:2.2.4版(发行说明,安装).
- 2009-04-16:版本2.2.2(发行说明).
- 2009-03-17:2.2.0版(发行说明).
- 2.1.2版(发行说明).
- 2.1.0版(发行说明).
- 2.0.1版（错误修复版本）。
- 2.0.0版(发行说明).
安装（旧的/过时的说明）