macOS
Homebrew
已验证 · 100%
brew install agda
local Homebrew formula metadata
安装
使用 Automic Vault 安装
Automic Vault
sudo av install brew:agdaLinux
Debian apt
已验证 · 92%
sudo apt install agda
Debian stable package indexes · agda · 来源: deb.debian.org
Fedora dnf
已验证 · 92%
sudo dnf install Agda
Fedora Rawhide package metadata · Agda · 来源: dl.fedoraproject.org
Nix
已验证 · 92%
nix profile install nixpkgs#agda
nixpkgs package indexes · agda · 来源: raw.githubusercontent.com
Arch Linux pacman
已验证 · 92%
sudo pacman -S agda
Arch Linux sync databases · agda · 来源: geo.mirror.pkgbuild.com
软件包管理器来源
平台说明
- 没有特定于此软件包的平台说明。
概览
软件包摘要
Automic Vault 根据本地软件包数据发布 agda 的安装路径、可执行文件事实和安全元数据。
主页
命令和别名
- agda
- agda-mode
- agda2hs
来源摘要
Dependently typed functional programming language
安全态势
风险级别：yellow
generalized runtime or code generation signal.
风险分类器
yellow 风险 · medium 置信度 · runtime
原因
- generalized runtime or code generation signal
信号
- text:programming language
安装行为
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- 安装时包含 2 个运行时依赖。
- 构建元数据列出 2 个构建依赖。
建议审查
在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。
可执行文件
已安装的可执行文件
| 命令 | 类型 | 暴露范围 | 备注 |
|---|---|---|---|
agda | cli | global executable | |
agda-mode | cli | global executable | |
agda2hs | cli | global executable |
新鲜度
版本和新鲜度
这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。
页面生成时间2026-05-26
管理器版本2.8.0
管理器更新时间2026-02-14
本地数据ok
上游current
检测到的最新版本v2.8.0
- ok没有生成新鲜度警告。
安装元数据
软件包元数据
| 软件包键 | brew:agda |
|---|---|
| 版本 | 2.8.0 |
| 软件包管理器 | Homebrew |
| 软件包管理器页面 | https://formulae.brew.sh/formula/agda |
| 主页 | https://wiki.portal.chalmers.se/agda/ |
| 仓库 | https://github.com/agda/agda |
| 上游文档 | https://wiki.portal.chalmers.se/agda/ |
| 许可证 | MIT AND BSD-3-Clause |
| 源码归档 | https://github.com/agda/agda/archive/refs/tags/v2.8.0.tar.gz |
| 更新 | 2026-02-14T20:55:16Z |
| Pulse | updated |
| 依赖 | ghc@9.12, gmp |
| 构建依赖 | cabal-install, emacs |
| macOS 提供的库 | libffi, ncurses |
| Bottle | 可用 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定义 |
| 服务 | 未声明 |
| Caveats | To use the installed Agda libraries, execute the following commands: mkdir -p $HOME/.config/agda cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-libraries $HOME/.config/agda/libraries cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-defaults $HOME/.config/agda/defaults You can then inspect the copied files and customize them as needed. If you have upgraded your Agda installation from a previous version, you may need to redo this. |
来源线索
由仓库数据生成
此页面由 scripts/generate-pkg-pages.py 写入。如果 www/pkg/ 相对于本地软件包数据已过期，部署会拒绝发布。
使用的来源
- Geiger risk classifier
- Nucleus package database
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment