# rocq-elpi mit Homebrew installieren

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

## Installation

```sh
sudo av install brew:rocq-elpi
```

Weitere Installationsbefehle:

### macOS

- Homebrew (100%):

```sh
brew install rocq-elpi
```

  Evidenz: local Homebrew formula metadata

## Paketfakten

- **Paketschlüssel:** brew:rocq-elpi
- **Paketmanager:** Homebrew
- **Version:** 3.5.0
- **Quellzusammenfassung:** Elpi extension language for Rocq
- **Homepage:** <https://github.com/LPCIC/coq-elpi>
- **Repository:** <https://github.com/LPCIC/coq-elpi>
- **Zuletzt aktualisiert:** 2026-07-25T14:44:37Z
- **Generiert:** 2026-08-03T19:37:03+00:00

## Executables

- rocq_elpi_optcomp (Alias)
- rocq_elpi_shafile (Alias)
- rocq_elpi_version_parser (Alias)

## Installationsverhalten

- Bottle: nicht verfügbar

## Version und Aktualität

- Seite generiert: 2026-08-03
- Manager-Version: 3.5.0

## Sicherheitshinweise

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



## Combined YAML source

View the package source record on GitHub. [combined/rocq-elpi.yml](https://github.com/mxcl/pkgdb/blob/main/combined/rocq-elpi.yml)


## Quellen

- pkg.so package database
- Geiger risk classifier
- pkgdb category and tag curation
- cross-ecosystem install command graph