# acl2 installieren

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

## Installation

```sh
sudo av install brew:acl2
```

Weitere Installationsbefehle:

### macOS

- Homebrew (100%):

```sh
brew install acl2
```

  Evidenz: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install acl2
```

  Evidenz: MacPorts ports tree: math/acl2/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- Debian apt (92%):

```sh
sudo apt install acl2
```

  Evidenz: Debian stable package indexes: acl2 from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- Nix (92%):

```sh
nix profile install nixpkgs#acl2
```

  Evidenz: nixpkgs package indexes: pkgs/by-name/ac/acl2/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Paketfakten

- **Paketschlüssel:** brew:acl2
- **Paketmanager:** Homebrew
- **Paketmanager-Seite:** <https://formulae.brew.sh/formula/acl2>
- **Version:** 8.7
- **Quellzusammenfassung:** Logic and programming language in which you can model computer systems
- **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
- **Generierte Quelle:** 2026-05-26T22:45:13+00:00

## Executables

- acl2 (cli)
- acl2p (cli)
- acl2 (Alias)
- acl2p (Alias)

## Abhängigkeiten

- sbcl

## Installationsverhalten

- Post-install-Hook: nicht definiert
- Bottle: verfügbar auf arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Aktualität

- Seite generiert: 2026-05-26
- Manager-Version: 8.7
- Manager aktualisiert: 2026-04-30
- lokale Daten: ok
- Upstream-Repository: https://github.com/acl2/acl2
- neueste erkannte Version: 8.7 (current)

## Sicherheitshinweise

generalized runtime or code generation signal.

- **Geiger-Risiko:** yellow / medium
- generalized runtime or code generation signal

## Verwandte Links

- [sbcl](https://www.automicvault.com/pkg/brew/sbcl/) - Runtime dependency declared by Homebrew.
- [acl](https://www.automicvault.com/pkg/brew/acl/) - Package name indicates the same formula family.
- [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/)

## Quellen

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph