预装包和系统特定说明
建议安装Agda的方法是通过阴谋集团,但在某些情况下，您可能希望改用系统的包管理器：
架构Linux
以下预构建包可用：
如果出现安装问题，请咨询问题跟踪器<https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/issues>_.
Debian/Ubuntu
从Karmic开始，Debian和Ubuntu都可以使用预构建包。安装步骤：
这应该会安装Agda和Emacs模式。
从Lucid起，标准库在Debian和Ubuntu中可用。安装步骤：
更多信息：
报告错误：
请使用以下方法向Debian报告任何错误：
报告错误 -B类 debian公司 阿格达报告错误 -B类 debian公司 agda-stdlib型
费多拉/EPEL（Centos）
阿格达是包装好的适用于Fedora Linux和EPEL。Agda-stdlib是可获得的为费多拉。
dnf公司 安装 阿格达 Agda-stdlib公司
将使用emacs模式和Agda-stdlib安装Agda。
GNU吉他
GNU Guix为这两者提供了包阿格达和agda-stdlib型.您可以通过运行以下命令安装最新版本：
您还可以通过运行以下命令安装特定版本：
贵宾 安装 agda@弗 agda-stdlib@版本
哪里版本是特定的版本号。
程序包源：
Nix或NixOS
Agda是Nixpkgs系列的一部分https://nixos.org/nixos。通过以下方式安装Agda（和标准库）：
nix环境 -（f） “<nixpkgs>” -国际教育协会 “nixpkgs:（nixpkgs{}）.agda.withPackages（p:[p.standard-library]）”agda-模式 设置回声 “标准实验室” > ~/.agda/默认值
第二个命令尝试设置Agda emacs模式。如果出现以下情况，请跳过此项您不想设置emacs模式。请参阅从安装来源有关的更多详细信息，请参见上文agda-模式 设置. The第三个命令设置标准实验室作为默认库，因此Agda始终可以使用它。如果你不想这样做，你可以忽略此步骤并基于每个项目控制库导入使用.agda-磅每个项目根目录中的文件。
如果您不想通过nix安装标准库，那么您可以只能运行：
nix-env -（f） “<nixpkgs>” -国际机场 阿格达agda-模式 设置
有关nix中Agda基础设施的更多信息，以及如何使用nix管理和开发Agda库，请参阅https://nixos.org/manual/nixpkgs/unstable/#agda特别是agda.带包装函数可以安装更多库标准库。或者，请参见图书馆管理了解如何手动管理库。
Nix非常灵活，我们只描述了如何安装Agda全球使用nix环境。还可以声明哪些包在配置文件中全局安装或拉入Agda等特定项目的相关库使用nix外壳.
Agda-git存储库是一个尼克斯薄片允许在Nix中使用开发版本。薄片具有以下特性输出：
操作系统X
自制啤酒是一个免费的开源软件包为OS X提供预构建包的管理系统安装在系统中后，就可以安装agda了。打开终端应用程序并运行以下命令：
这个过程应该不到一分钟，它将Agda与它的Emacs模式及其标准库。有关酿造命令，请参阅自制文档和自制常见问题解答.
默认情况下，标准库安装在文件夹中/usr/local/lib/agda/。要使用标准库方便添加agda-lib文件的位置/usr/local/lib/agda/standard-library.agda-lib到~/.agda/库文件，并写入行标准实验室在里面这个~/.agda/默认值文件。为此，请运行以下命令：
mkdir公司 -对 ~/.agda回声 $(酿造 --前缀)/lib/agda/standard-library.agda-lib >> ~/.agda/库回声 标准实验室 >> ~/.agda/默认值
请注意，此配置不会自动执行。你可以了解更多信息使用标准库或一般使用库.
也可以使用命令行选项关键字进行安装--头部.这需要从源头构建Agda。
要配置编辑agda文件的方式，请遵循一节Emacs模式.
注释
如果Emacs无法找到agda-模式可执行文件，它可能有助于安装exec-path-from外壳通过执行打包M-x公司 软件包-安装 房地产税 exec-path-from外壳 房地产税并添加那条线（exec-path-from-shell-initialize）到您的.emacs（电子邮件）文件。