pkg.soopen package index

cask

elan mit Homebrew Cask installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für elan in AI-Agent-Workflows.

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrew Caskverifiziert · 100%
brew install --cask elan

local Homebrew cask metadata

Überblick

Paketzusammenfassung

Annotation tool for audio and video recordings

Befehle und Aliase

In der lokalen Paketdatenbank wurden keine Executable-Aliase gefunden.

Sicherheitslage

Noch keine Protected-Tool-Abdeckung gefunden

Für elan wurde kein passendes lokales Secret-Handling-Manifest gefunden. Paketmetadaten bleiben hier veröffentlicht, damit künftige Abdeckung eine stabile Paket-URL hat.

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Es wurden keine Homebrew-Bottle-Metadaten erfasst.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
Es waren keine Executable-Daten vorhanden.

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-08-04
Manager-Version7.1
Manager aktualisiert
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt

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

  • InfoNo package-manager update timestamp was available.niedrig Konfidenz
  • InfoRelease/tag comparison is only available for GitHub repositories.https://archive.mpi.nl/tla/elannone Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüsselcask:elan
Version7.1
PaketmanagerHomebrew Cask
Paketmanager-Seitehttps://formulae.brew.sh/cask/elan
Homepagehttps://archive.mpi.nl/tla/elan
Upstream-Dokumentationhttps://archive.mpi.nl/tla/elan
Quellarchivhttps://www.mpi.nl/tools/elan/ELAN_7-1_M1_mac.zip
SHA-25671106952d5a1d301c6f4f764a10e654d2581cc8922e8d451a0c091ecf000d99c
Bottlenicht erfasst
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

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 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

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