macOS
Homebrew Caskverified · 100%
brew install --cask elanlocal Homebrew cask metadata
cask
Install elan with Homebrew Cask
Annotation tool for audio and video recordings. Version 7.1 via Homebrew Cask; verified from local package data. Also installable with debian: sudo apt install elan.
install
Additional install commands
overview
Package summary
Annotation tool for audio and video recordings
Project links
Commands and aliases
No executable aliases were found in the local package database.
security posture
No protected-tool coverage found yet
No matching local secret-handling manifest was found for elan. Package metadata is still published here so future coverage has a stable package URL.
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- No Homebrew bottle metadata was recorded.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
| No executable data was present. | |||
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-08-04
manager version7.1
manager updated
local dataok
upstreamnot checked
latest detectednot detected
https://archive.mpi.nl/tla/elan
- infoNo package-manager update timestamp was available.low confidence
- infoRelease/tag comparison is only available for GitHub repositories.https://archive.mpi.nl/tla/elannone confidence
install metadata
Package metadata
| Package key | cask:elan |
|---|---|
| Version | 7.1 |
| Package manager | Homebrew Cask |
| Package manager page | https://formulae.brew.sh/cask/elan |
| Homepage | https://archive.mpi.nl/tla/elan |
| Upstream docs | https://archive.mpi.nl/tla/elan |
| Source archive | https://www.mpi.nl/tools/elan/ELAN_7-1_M1_mac.zip |
| SHA-256 | 71106952d5a1d301c6f4f764a10e654d2581cc8922e8d451a0c091ecf000d99c |
| Bottle | not recorded |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| Source Database | Homebrew cask API |
|---|---|
| Tap | homebrew/cask |
| Full Token | elan |
| Names |
|
| Artifacts | |
| Deprecated | no |
| Disabled | no |
source database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Debian apt95%
elan 3.1.1-6
tool for managing installations of the Lean theorem prover
https://github.com/leanprover/elan
sudo apt install elan- Section: math
- Architecture: amd64
- 7 dependencies
- normalized package name match
- Matched by: Elan
Nix95%
elan
nix profile install nixpkgs#elan- normalized package name match
- Matched by: Elan
Ubuntu apt95%
elan 3.1.0-1build2
tool for managing installations of the Lean theorem prover
https://github.com/leanprover/elan
sudo apt install elan- Section: universe/math
- Architecture: amd64
- 6 dependencies
- normalized package name match
- Matched by: Elan
Scoop95%
main/elan
scoop install main/elan- normalized package name match
- Matched by: Elan
winget95%
Lean.Elan
winget install --id Lean.Elan -e- normalized package name match
- Matched by: Elan
winget95%
MPI.ELAN
winget install --id MPI.ELAN -e- normalized package name match
- Matched by: Elan
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Used sources
- cross-ecosystem install command graph
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment