# Installer rocq-elpi avec Homebrew

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de rocq-elpi pour les workflows d'agents IA.

## installation

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

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

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

  Preuve: local Homebrew formula metadata

## Faits du paquet

- **Clé du paquet:** brew:rocq-elpi
- **Gestionnaire de paquets:** Homebrew
- **Version:** 3.5.0
- **Résumé source:** Elpi extension language for Rocq
- **Page d'accueil:** <https://github.com/LPCIC/coq-elpi>
- **Dépôt:** <https://github.com/LPCIC/coq-elpi>
- **Dernière mise à jour:** 2026-07-25T14:44:37Z
- **Généré:** 2026-08-03T19:37:03+00:00

## exécutables

- rocq_elpi_optcomp (alias)
- rocq_elpi_shafile (alias)
- rocq_elpi_version_parser (alias)

## Comportement d'installation

- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-03
- version du gestionnaire: 3.5.0

## Notes de sécurité

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour rocq-elpi. Les métadonnées de paquet Nucleus restent publiées ici afin que la couverture future dispose d'une URL stable.



## 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)


## Sources

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