rocq-elpi
Formula Utilities v3.4.0
Elpi extension language for Rocq
Install 1
App in
Terminal
$
brew install 'rocq-elpi'
Dependencies
Build Dependencies
Installation Notes
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"
Install Statistics 31.3% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 19 | 83 | 313 |
| Avg Daily Installs | 1 | 1 | 1 |