# rocq-elpi 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
- **Paketmanager-Seite:** <https://formulae.brew.sh/formula/rocq-elpi>
- **Version:** 3.4.0
- **Quellzusammenfassung:** Elpi extension language for Rocq
- **Homepage:** <https://github.com/LPCIC/coq-elpi>
- **Repository:** <https://github.com/LPCIC/coq-elpi>
- **Lizenz:** LGPL-2.1-or-later
- **Quellarchiv:** <https://github.com/LPCIC/coq-elpi/releases/download/v3.4.0/rocq-elpi-3.4.0.tar.gz>
- **Aktualisiert:** 2026-05-21T05:10:19Z
- **Generierte Quelle:** 2026-05-26T22:45:13+00:00

## Executables

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

## Abhängigkeiten

- ocaml-findlib
- rocq

## Build-Abhängigkeiten

- dune
- ocaml
- opam

## Installationsverhalten

- Post-install-Hook: nicht definiert
- Caveats: Rocq needs help finding ML files installed inside `$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib`. This can be done by passing `-I $HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib` as an argument. Alternatively, you can add the directory to OCAMLPATH, e.g. export OCAMLPATH="$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib:$OCAMLPATH" or use the included findlib configuration file, e.g. export OCAMLFIND_CONF="$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib/findlib.conf"
- Bottle: verfügbar auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Aktualität

- Seite generiert: 2026-05-26
- Manager-Version: 3.4.0
- Manager aktualisiert: 2026-05-21
- lokale Daten: ok
- Upstream-Repository: https://github.com/LPCIC/coq-elpi
- info: No cached GitHub release or tag data was available.

## Sicherheitshinweise

no executable entrypoint in the package index.

- **Geiger-Risiko:** green / low
- no executable entrypoint in the package index

## Verwandte Links

- [rocq](https://www.automicvault.com/pkg/brew/rocq/) - Runtime dependency declared by Homebrew.
- [ocaml-findlib](https://www.automicvault.com/pkg/brew/ocaml-findlib/) - Runtime dependency declared by Homebrew.
- [opam](https://www.automicvault.com/pkg/brew/opam/) - Build dependency declared by Homebrew.
- [ocaml](https://www.automicvault.com/pkg/brew/ocaml/) - Build dependency declared by Homebrew.
- [dune](https://www.automicvault.com/pkg/brew/dune/) - Build dependency declared by Homebrew.
- [math-comp](https://www.automicvault.com/pkg/brew/math-comp/) - Popular package that depends on this formula.
- [hierarchy-builder](https://www.automicvault.com/pkg/brew/hierarchy-builder/) - Popular package that depends on this formula.

## Quellen

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