# 使用 Homebrew Cask 安装 elan

查看 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 的匹配本地密钥处理 manifest。软件包元数据仍在此发布，以便未来覆盖拥有稳定的软件包 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/zh-hans/homebrew-cask-packages/) - Generated from Homebrew Cask package-manager metadata.
- [Homebrew Cask applications](https://pkg.so/zh-hans/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