macOS
Homebrewverified ยท 100%
brew install rocq-elpilocal Homebrew formula metadata
brew
Install rocq-elpi with Homebrew
Elpi extension language for Rocq. Version 3.4.0 via Homebrew; verified 2026-05-21.
install
Additional install commands
overview
Package summary
Elpi extension language for Rocq
Project links
Commands and aliases
- rocq_elpi_optcomp
- rocq_elpi_shafile
- rocq_elpi_version_parser
security posture
No protected-tool coverage found yet
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.
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Installs with 2 runtime dependencies.
- Build metadata lists 3 build dependencies.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
rocq_elpi_optcomp | cli | global executable | |
rocq_elpi_shafile | cli | global executable | |
rocq_elpi_version_parser | cli | global executable |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-07-08
manager version3.4.0
manager updated2026-05-21
local dataok
upstreamnot checked
latest detectednot detected
https://github.com/LPCIC/coq-elpi
- infoNo cached GitHub release or tag data was available.https://github.com/LPCIC/coq-elpinone confidence
install metadata
Package metadata
| Package key | brew:rocq-elpi |
|---|---|
| Version | 3.4.0 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/rocq-elpi |
| Homepage | https://github.com/LPCIC/coq-elpi |
| Repository | https://github.com/LPCIC/coq-elpi |
| Upstream docs | https://github.com/LPCIC/coq-elpi |
| License | LGPL-2.1-or-later |
| Source archive | https://github.com/LPCIC/coq-elpi/releases/download/v3.4.0/rocq-elpi-3.4.0.tar.gz |
| Last updated | 2026-05-21T05:10:19Z |
| Pulse | updated |
| Dependencies | ocaml-findlib, rocq |
| Build dependencies | dune, ocaml, opam |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
| 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" |
registry facts
Source database details
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | rocq-elpi |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment