# elan を Homebrew Cask でインストール

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

## インストール

```sh
sudo av install cask:elan
```

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

### macOS

- Homebrew Cask (100%):

```sh
brew install --cask elan
```

  証拠: local Homebrew cask metadata

## パッケージ情報

- **パッケージキー:** cask:elan
- **パッケージマネージャ:** Homebrew Cask
- **パッケージマネージャページ:** <https://formulae.brew.sh/cask/elan>
- **バージョン:** 7.1
- **ソース概要:** Annotation tool for audio and video recordings
- **ホームページ:** <https://archive.mpi.nl/tla/elan>
- **上流ドキュメント:** <https://archive.mpi.nl/tla/elan>
- **ソースアーカイブ:** <https://www.mpi.nl/tools/elan/ELAN_7-1_M1_mac.zip>
- **生成日時:** 2026-08-04T22:13:35+00:00

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用不可

## バージョンと鮮度

- ページ生成日: 2026-08-04
- マネージャ版: 7.1
- ローカルデータ: OK
- 上流リポジトリ: https://archive.mpi.nl/tla/elan
- 情報: No package-manager update timestamp was available.
- 情報: Release/tag comparison is only available for GitHub repositories.

## セキュリティノート

elan に一致するローカルシークレット処理マニフェストは見つかりませんでした。将来の対応で安定したパッケージ URL を使えるよう、パッケージメタデータはここに公開されています。


## ソースデータベース詳細

- **Source Database:** Homebrew cask API
- **Tap:** homebrew/cask
- **Full Token:** elan
- **Names:** ELAN
- **Artifacts:** App: 1, Target: 1, Zap: 1
- **Deprecated:** no
- **Disabled:** no

## 他のパッケージマネージャ記録

- Debian apt - elan - 3.1.1-6: normalized package name match | Debian stable package indexes: elan from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | tool for managing installations of the Lean theorem prover | https://github.com/leanprover/elan
- Nix - elan: normalized package name match | nixpkgs package indexes: pkgs/by-name/el/elan/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - elan - 3.1.0-1build2: normalized package name match | Ubuntu 24.04 LTS package indexes: elan from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | tool for managing installations of the Lean theorem prover | https://github.com/leanprover/elan
- Scoop - main/elan: normalized package name match | Scoop official bucket manifest trees: bucket/elan.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1
- winget - Lean.Elan: normalized package name match | Windows Package Manager source index: Lean.Elan from https://cdn.winget.microsoft.com/cache/source.msix
- winget - MPI.ELAN: normalized package name match | Windows Package Manager source index: MPI.ELAN from https://cdn.winget.microsoft.com/cache/source.msix


## 関連リンク

- [Homebrew Cask packages](https://pkg.so/ja/homebrew-cask-packages/) - Generated from Homebrew Cask package-manager metadata.
- [Homebrew Cask applications](https://pkg.so/ja/homebrew-cask-applications/) - Cask artifact metadata includes an app bundle.

## ソース

- package-page enrichment
- package version freshness
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph