# Installer elan avec Homebrew Cask

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de elan pour les workflows d'agents IA.

## installation

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

Commandes d'installation supplémentaires:

### macOS

- Homebrew Cask (100%):

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

  Preuve: local Homebrew cask metadata

## Faits du paquet

- **Clé du paquet:** cask:elan
- **Gestionnaire de paquets:** Homebrew Cask
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/cask/elan>
- **Version:** 7.1
- **Résumé source:** Annotation tool for audio and video recordings
- **Page d'accueil:** <https://archive.mpi.nl/tla/elan>
- **Docs amont:** <https://archive.mpi.nl/tla/elan>
- **Archive source:** <https://www.mpi.nl/tools/elan/ELAN_7-1_M1_mac.zip>
- **Généré:** 2026-08-04T22:13:35+00:00

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-04
- version du gestionnaire: 7.1
- données locales: OK
- dépôt amont: https://archive.mpi.nl/tla/elan
- info: No package-manager update timestamp was available.
- info: Release/tag comparison is only available for GitHub repositories.

## Notes de sécurité

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour elan. Les métadonnées de paquet restent publiées ici afin que la couverture future dispose d'une URL stable.


## Détails de la base source

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

## Autres enregistrements de gestionnaires de paquets

- 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


## Liens liés

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

## Sources

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