{"name":"rocq-micromega-plugin","full_name":"rocq-micromega-plugin","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Micromega decision procedures plugin for the Rocq prover","license":"LGPL-2.1-only","homepage":"https://github.com/rocq-community/micromega-plugin","versions":{"stable":"1.1.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/rocq-community/micromega-plugin/archive/refs/tags/v1.1.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"4402d9bfce88661569f3acbfff3bf4afbc6b5c8c54282b365888bac8a959f652"}},"patches":[],"revision":0,"version_scheme":0,"compatibility_version":null,"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":":any","url":"https://ghcr.io/v2/homebrew/core/rocq-micromega-plugin/blobs/sha256:e2e32190357d65fbbf5d83be1e179d75c34aa91c0f8880a365010bf6ef36277e","sha256":"e2e32190357d65fbbf5d83be1e179d75c34aa91c0f8880a365010bf6ef36277e"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/rocq-micromega-plugin/blobs/sha256:0a19d604be6e148f6f9827e70c8859e19627523aab189a3dc8d5ae210fa39c6c","sha256":"0a19d604be6e148f6f9827e70c8859e19627523aab189a3dc8d5ae210fa39c6c"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/rocq-micromega-plugin/blobs/sha256:ba553c7a91ec476f65e1b78da3ed178f23c5d16f2bd639780a030a1ac2fe6592","sha256":"ba553c7a91ec476f65e1b78da3ed178f23c5d16f2bd639780a030a1ac2fe6592"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/rocq-micromega-plugin/blobs/sha256:b28cc65d8093ff84bc46ab295a26919433d73676c34b8003731ca25f3318180b","sha256":"b28cc65d8093ff84bc46ab295a26919433d73676c34b8003731ca25f3318180b"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/rocq-micromega-plugin/blobs/sha256:7fe20718dbc38c2c958706d9c3ff0aeac8c5e790011c6faf08ad9479370c9fcf","sha256":"7fe20718dbc38c2c958706d9c3ff0aeac8c5e790011c6faf08ad9479370c9fcf"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/rocq-micromega-plugin/blobs/sha256:44d1dcec1c04f4ead2b9f425c4e91d7673234c7339a9fe1debfce64889e4e80f","sha256":"44d1dcec1c04f4ead2b9f425c4e91d7673234c7339a9fe1debfce64889e4e80f"}}}},"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":null,"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_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"2426554f859013d7c582d68d48b75bea5e4795e1","ruby_source_path":"Formula/r/rocq-micromega-plugin.rb","ruby_source_checksum":{"sha256":"e50e0110ec85d924c3507d6d23a955b31ab245abd18b05f9e7804d29db54eec5"},"variations":{},"executables":[],"analytics":{"install":{"30d":{"rocq-micromega-plugin":40},"90d":{"rocq-micromega-plugin":40},"365d":{"rocq-micromega-plugin":40}},"install_on_request":{"30d":{"rocq-micromega-plugin":40},"90d":{"rocq-micromega-plugin":40},"365d":{"rocq-micromega-plugin":40}},"build_error":{"30d":{"rocq-micromega-plugin":1}}},
"generated_date":"2026-07-13"}