Automic Vault
brew-Paketinformationen
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für elan-init in AI-Agent-Workflows.
Installation
sudo av install brew:elan-initbrew install elan-init
local Homebrew formula metadata
sudo port install lean
MacPorts ports tree · math/lean/Portfile · Quelle: api.github.com
sudo apt install elan
Debian stable package indexes · elan · Quelle: deb.debian.org
nix profile install nixpkgs#elan
nixpkgs package indexes · pkgs/by-name/el/elan/package.nix · Quelle: api.github.com
scoop install main/elan
Scoop official bucket manifest trees · bucket/elan.json · Quelle: api.github.com
winget install --id Lean.Elan -e
Windows Package Manager source index · Lean.Elan · Quelle: cdn.winget.microsoft.com
Überblick
Automic Vault veröffentlicht paketspezifische Installationswege, Executable-Fakten und Sicherheitsmetadaten für elan-init aus lokalen Paketdaten.
Lean Theorem Prover installer and version manager
Sicherheitslage
infrastructure mutation or orchestration signal.
orange Risiko · medium Konfidenz · infrastructure
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
elan | cli | global executable | |
elan-init | cli | global executable | |
lake | cli | global executable | |
lean | cli | global executable | |
leanc | cli | global executable | |
leanchecker | cli | global executable | |
leanmake | cli | global executable | |
leanpkg | cli | global executable |
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.
https://github.com/leanprover/elan
Installationsmetadaten
| Paketschlüssel | brew:elan-init |
|---|---|
| Version | 4.2.1 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/elan-init |
| Homepage | https://github.com/leanprover/elan |
| Repository | https://github.com/leanprover/elan |
| Lizenz | Apache-2.0 OR MIT |
| Quellarchiv | https://github.com/leanprover/elan/archive/refs/tags/v4.2.1.tar.gz |
| Aktualisiert | 2026-03-18T14:48:22Z |
| Pulse | updated |
| Abhängigkeiten | coreutils, gmp |
| Build-Abhängigkeiten | pkgconf, rust |
| Von macOS bereitgestellte Bibliotheken | bzip2, curl |
| Bottle | verfügbar (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Quellspur
Diese Seite wird von scripts/generate-pkg-pages.py geschrieben. Deployments verweigern die Veröffentlichung, wenn www/pkg/ gegenüber lokalen Paketdaten veraltet ist.