pkg.soopen package index

cask

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.

Commande d'installationNotes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrew Caskvérifié · 100%
brew install --cask elan

local Homebrew cask metadata

aperçu

Résumé du paquet

Annotation tool for audio and video recordings

Commandes et alias

Aucun alias exécutable n'a été trouvé dans la base locale des paquets.

posture de sécurité

Aucune couverture d'outil protégé trouvée pour le moment

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.

Comportement d'installation

  • Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
  • Aucune métadonnée de bottle Homebrew n’a été enregistrée.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

CommandeTypeExpositionNote
Aucune donnée d'exécutable n'était présente.

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-08-04
version du gestionnaire7.1
gestionnaire mis à jour
données localesOK
amontnot checked
dernière version détectéenon détecté

https://archive.mpi.nl/tla/elan

  • infoNo package-manager update timestamp was available.confiance faible
  • infoRelease/tag comparison is only available for GitHub repositories.https://archive.mpi.nl/tla/elanconfiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquetcask:elan
Version7.1
Gestionnaire de paquetsHomebrew Cask
Page du gestionnaire de paquetshttps://formulae.brew.sh/cask/elan
Page d'accueilhttps://archive.mpi.nl/tla/elan
Docs amonthttps://archive.mpi.nl/tla/elan
Archive sourcehttps://www.mpi.nl/tools/elan/ELAN_7-1_M1_mac.zip
SHA-25671106952d5a1d301c6f4f764a10e654d2581cc8922e8d451a0c091ecf000d99c
Bouteillenon enregistré
post-install Homebrewnon défini
Serviceaucun déclaré

faits du registre

Détails de la base source

Source DatabaseHomebrew cask API
Taphomebrew/cask
Full Tokenelan
Names
  • ELAN
Artifacts
App
1
Target
1
Zap
1
Deprecatedno
Disabledno

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

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 Dépendances
  • normalized package name match
  • Correspondance par : Elan
Debian stable package indexes · deb.debian.org · Debian stable package indexes: elan from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

elan

nix profile install nixpkgs#elan
  • normalized package name match
  • Correspondance par : Elan
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/el/elan/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
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 Dépendances
  • normalized package name match
  • Correspondance par : Elan
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: elan from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Scoop95%

main/elan

scoop install main/elan
  • normalized package name match
  • Correspondance par : Elan
Scoop official bucket manifest trees · api.github.com · Scoop official bucket manifest trees: bucket/elan.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1
winget95%

Lean.Elan

winget install --id Lean.Elan -e
  • normalized package name match
  • Correspondance par : Elan
Windows Package Manager source index · cdn.winget.microsoft.com · Windows Package Manager source index: Lean.Elan from https://cdn.winget.microsoft.com/cache/source.msix
winget95%

MPI.ELAN

winget install --id MPI.ELAN -e
  • normalized package name match
  • Correspondance par : Elan
Windows Package Manager source index · cdn.winget.microsoft.com · Windows Package Manager source index: MPI.ELAN from https://cdn.winget.microsoft.com/cache/source.msix

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

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