🍺 BREW Explorer

← all formulae

rocq-elpi

brew install rocq-elpi v3.4.0 LGPL-2.1-or-later

Elpi extension language for Rocq

15
30-day installs · #7571
41
90-day · #7839
315
365-day · #6204

Runtime dependencies

ocaml-findlib rocq

Build dependencies

dune ocaml opam

Links

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"
Raw metadata 
{
  "aliases": [],
  "alternatives": [],
  "build_dependencies": [
    "dune",
    "ocaml",
    "opam"
  ],
  "categories": [],
  "caveats": "Rocq needs help finding ML files installed inside `$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib`.\nThis can be done by passing `-I $HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib` as an argument.\nAlternatively, you can add the directory to OCAMLPATH, e.g.\n  export OCAMLPATH=\"$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib:$OCAMLPATH\"\nor use the included findlib configuration file, e.g.\n  export OCAMLFIND_CONF=\"$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib/findlib.conf\"\n",
  "conflicts_with": [],
  "dependencies": [
    "ocaml-findlib",
    "rocq"
  ],
  "deprecated": 0,
  "deprecation_reason": null,
  "desc": "Elpi extension language for Rocq",
  "disable_reason": null,
  "disabled": 0,
  "enrichment_fetched_at": null,
  "first_seen": "2026-06-20T23:34:18+00:00",
  "full_name": "rocq-elpi",
  "github_default_branch": null,
  "github_last_commit_at": null,
  "github_readme_excerpt": null,
  "github_repo": "LPCIC/coq-elpi",
  "github_stars": null,
  "github_topics": [],
  "homepage": "https://github.com/LPCIC/coq-elpi",
  "homepage_og_description": null,
  "homepage_og_image": null,
  "homepage_title": null,
  "installs_30d": 15,
  "installs_365d": 315,
  "installs_90d": 41,
  "keg_only": 0,
  "keg_only_reason": null,
  "last_seen": "2026-06-20T23:34:18+00:00",
  "license": "LGPL-2.1-or-later",
  "llm_generated_at": null,
  "llm_model": null,
  "name": "rocq-elpi",
  "oldnames": [],
  "one_liner": null,
  "optional_dependencies": [],
  "rank_30d": 7571,
  "rank_365d": 6204,
  "rank_90d": 7839,
  "raw_hash": "56ad0134b24fe516",
  "recommended_dependencies": [],
  "revision": 0,
  "ruby_source_path": "Formula/r/rocq-elpi.rb",
  "tap": "homebrew/core",
  "test_dependencies": [],
  "uses_from_macos": [],
  "version_head": null,
  "version_stable": "3.4.0",
  "versioned_formulae": [],
  "why_use_this": null
}