Automic Vault
brew-Paketinformationen
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für acl2 in AI-Agent-Workflows.
Installation
sudo av install brew:acl2brew install acl2
local Homebrew formula metadata
sudo port install acl2
MacPorts ports tree · math/acl2/Portfile · Quelle: api.github.com
sudo apt install acl2
Debian stable package indexes · acl2 · Quelle: deb.debian.org
nix profile install nixpkgs#acl2
nixpkgs package indexes · pkgs/by-name/ac/acl2/package.nix · Quelle: api.github.com
Überblick
Automic Vault veröffentlicht paketspezifische Installationswege, Executable-Fakten und Sicherheitsmetadaten für acl2 aus lokalen Paketdaten.
Logic and programming language in which you can model computer systems
Sicherheitslage
generalized runtime or code generation signal.
yellow Risiko · medium Konfidenz · runtime
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 |
|---|---|---|---|
acl2 | cli | global executable | |
acl2p | 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.
Installationsmetadaten
| Paketschlüssel | brew:acl2 |
|---|---|
| Version | 8.7 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/acl2 |
| Homepage | https://www.cs.utexas.edu/~moore/acl2/ |
| Repository | https://github.com/acl2/acl2 |
| Upstream-Dokumentation | https://www.cs.utexas.edu/~moore/acl2/ |
| Lizenz | BSD-3-Clause |
| Quellarchiv | https://github.com/acl2/acl2/archive/refs/tags/8.7.tar.gz |
| Aktualisiert | 2026-04-30T04:27:15Z |
| Pulse | updated |
| Abhängigkeiten | sbcl |
| Bottle | verfügbar (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.