# agda をインストール

agda のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

## インストール

```sh
sudo av install brew:agda
```

追加のインストールコマンド:

### macOS

- Homebrew (100%):

```sh
brew install agda
```

  証拠: local Homebrew formula metadata

### Linux

- Debian apt (92%):

```sh
sudo apt install agda
```

  証拠: Debian stable package indexes: agda from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- dnf (92%):

```sh
sudo dnf install Agda
```

  証拠: Fedora Rawhide package metadata: Agda from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst

- Nix (92%):

```sh
nix profile install nixpkgs#agda
```

  証拠: nixpkgs package indexes: agda from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix

- pacman (92%):

```sh
sudo pacman -S agda
```

  証拠: Arch Linux sync databases: agda from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

## パッケージ情報

- **パッケージキー:** brew:agda
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/agda>
- **バージョン:** 2.8.0
- **ソース概要:** Dependently typed functional programming language
- **ホームページ:** <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
- **生成ソース:** 2026-05-26T22:45:13+00:00

## 実行可能ファイル

- agda (cli)
- agda-mode (cli)
- agda2hs (cli)
- agda (エイリアス)
- agda-mode (エイリアス)
- agda2hs (エイリアス)

## 依存関係

- ghc@9.12
- gmp

## ビルド依存関係

- cabal-install
- emacs

## macOS 提供ライブラリ

- libffi
- ncurses

## インストール挙動

- 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.
- Bottle: 利用可能 対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## 鮮度

- ページ生成日: 2026-05-26
- マネージャ版: 2.8.0
- マネージャ更新日: 2026-02-14
- ローカルデータ: ok
- 上流リポジトリ: https://github.com/agda/agda
- 検出された最新: v2.8.0 (current)

## セキュリティノート

generalized runtime or code generation signal.

- **Geiger リスク:** yellow / medium
- generalized runtime or code generation signal

## 関連リンク

- [gmp](https://www.automicvault.com/pkg/brew/gmp/) - Runtime dependency declared by Homebrew.
- [ghc@9.12](https://www.automicvault.com/pkg/brew/ghc-9-12/) - Runtime dependency declared by Homebrew.
- [emacs](https://www.automicvault.com/pkg/brew/emacs/) - Build dependency declared by Homebrew.
- [cabal-install](https://www.automicvault.com/pkg/brew/cabal-install/) - Build dependency declared by Homebrew.
- [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/)

## ソース

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph