# civl installieren

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

## Installation

```sh
sudo av install brew:civl
```

Weitere Installationsbefehle:

### macOS

- Homebrew (100%):

```sh
brew install civl
```

  Evidenz: local Homebrew formula metadata

## Paketfakten

- **Paketschlüssel:** brew:civl
- **Paketmanager:** Homebrew
- **Paketmanager-Seite:** <https://formulae.brew.sh/formula/civl>
- **Version:** 1.22-5854
- **Quellzusammenfassung:** Concurrency Intermediate Verification Language
- **Homepage:** <https://vsl.cis.udel.edu/civl/>
- **Upstream-Dokumentation:** <https://vsl.cis.udel.edu/civl/>
- **Lizenz:** GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause
- **Quellarchiv:** <https://vsl.cis.udel.edu/lib/sw/civl/1.22/r5854/release/CIVL-1.22_5854.tgz>
- **Aktualisiert:** 2026-02-19T14:35:27+01:00
- **Generierte Quelle:** 2026-05-26T22:45:13+00:00

## Executables

- civl (cli)
- civl (Alias)

## Abhängigkeiten

- openjdk
- z3

## Installationsverhalten

- Post-install-Hook: nicht definiert
- Bottle: verfügbar auf all

## Aktualität

- Seite generiert: 2026-05-26
- Manager-Version: 1.22-5854
- Manager aktualisiert: 2026-02-19
- lokale Daten: ok
- Upstream-Repository: https://vsl.cis.udel.edu/civl/
- info: Release/tag comparison is only available for GitHub repositories.

## Sicherheitshinweise

broad file, network, media, or database tool signal.

- **Geiger-Risiko:** blue / medium
- broad file, network, media, or database tool signal

## Verwandte Links

- [openjdk](https://www.automicvault.com/pkg/brew/openjdk/) - Runtime dependency declared by Homebrew.
- [z3](https://www.automicvault.com/pkg/brew/z3/) - Runtime dependency declared by Homebrew.
- [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