# Install rocq-elpi with Homebrew

Elpi extension language for Rocq. Version 3.5.0 via Homebrew; verified 2026-07-25.

## Install

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

Additional install commands:

### macOS

- Homebrew (100%):

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

  Evidence: local Homebrew formula metadata

## Package facts

- **Package key:** brew:rocq-elpi
- **Package manager:** Homebrew
- **Version:** 3.5.0
- **Source summary:** Elpi extension language for Rocq
- **Homepage:** <https://github.com/LPCIC/coq-elpi>
- **Repository:** <https://github.com/LPCIC/coq-elpi>
- **Last updated:** 2026-07-25T14:44:37Z
- **Generated:** 2026-08-03T19:37:03+00:00

## Executables

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

## Install behavior

- Bottle: not available

## Freshness

- Page generated: 2026-08-03
- Package-manager version: 3.5.0

## Security Notes

No matching local secret-handling manifest was found for rocq-elpi. Nucleus package metadata is still published here so future coverage has a stable package URL.



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