{"name":"rocq-elpi","full_name":"rocq-elpi","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Elpi extension language for Rocq","license":"LGPL-2.1-or-later","homepage":"https://github.com/LPCIC/coq-elpi","versions":{"stable":"3.3.1","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/LPCIC/coq-elpi/releases/download/v3.3.1/rocq-elpi-3.3.1.tar.gz","tag":null,"revision":null,"using":null,"checksum":"97468eea82299c7276ea5e1047342e8897de5a437a357e595a5728183ea66721"}},"revision":1,"version_scheme":0,"compatibility_version":1,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_tahoe":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq-elpi/blobs/sha256:bf16e11e81aed811ff3370122873ec135f0476d5330b19b23d7739e170bf6713","sha256":"bf16e11e81aed811ff3370122873ec135f0476d5330b19b23d7739e170bf6713"},"arm64_sequoia":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq-elpi/blobs/sha256:5f85a3d033ed19eb30ccf6e830beafeebcb7e103c7499ba6286499f09e91250b","sha256":"5f85a3d033ed19eb30ccf6e830beafeebcb7e103c7499ba6286499f09e91250b"},"arm64_sonoma":{"cellar":"/opt/homebrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq-elpi/blobs/sha256:633a069ba51abb921442b4e1595ed42afe8b04457642fb8dbec23bc4538a8012","sha256":"633a069ba51abb921442b4e1595ed42afe8b04457642fb8dbec23bc4538a8012"},"sonoma":{"cellar":"/usr/local/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq-elpi/blobs/sha256:f97723ee6985064bae456a0ac66f9a1aa2a4c6bce468b9c7a9c8f2d43154a390","sha256":"f97723ee6985064bae456a0ac66f9a1aa2a4c6bce468b9c7a9c8f2d43154a390"},"arm64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq-elpi/blobs/sha256:f41e452874613a8407aa014a926e1d5f9ff9bbfd602f915012f4e4cbf817dd00","sha256":"f41e452874613a8407aa014a926e1d5f9ff9bbfd602f915012f4e4cbf817dd00"},"x86_64_linux":{"cellar":"/home/linuxbrew/.linuxbrew/Cellar","url":"https://ghcr.io/v2/homebrew/core/rocq-elpi/blobs/sha256:e43ac552f0e02fc52356122e1069a60266d814aff7082300e4869bbad7d64259","sha256":"e43ac552f0e02fc52356122e1069a60266d814aff7082300e4869bbad7d64259"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["dune","ocaml","opam"],"dependencies":["ocaml-findlib","rocq"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"uses_from_macos_bounds":[],"requirements":[],"conflicts_with":[],"conflicts_with_reasons":[],"link_overwrite":[],"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","installed":[],"linked_keg":null,"pinned":false,"outdated":false,"deprecated":false,"deprecation_date":null,"deprecation_reason":null,"deprecation_replacement_formula":null,"deprecation_replacement_cask":null,"deprecate_args":null,"disabled":false,"disable_date":null,"disable_reason":null,"disable_replacement_formula":null,"disable_replacement_cask":null,"disable_args":null,"post_install_defined":false,"service":null,"tap_git_head":"e01c7ad6d10ba193cc4ad127a7282b5d2bdbbbd3","ruby_source_path":"Formula/r/rocq-elpi.rb","ruby_source_checksum":{"sha256":"4ca503330fef804f60246f97f9786ee3130a28f1d39b325bc2b7ca28d5dcfb52"},"variations":{},"analytics":{"install":{"30d":{"rocq-elpi":5},"90d":{"rocq-elpi":92},"365d":{"rocq-elpi":307}},"install_on_request":{"30d":{"rocq-elpi":2},"90d":{"rocq-elpi":48},"365d":{"rocq-elpi":170}},"build_error":{"30d":{"rocq-elpi":0}}},
"generated_date":"2026-04-28"}