{"name":"spot","full_name":"spot","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Platform for LTL and ω-automata manipulation","license":"GPL-3.0-or-later","homepage":"https://spot.lre.epita.fr","versions":{"stable":"2.16","head":null,"bottle":true},"urls":{"stable":{"url":"https://www.lrde.epita.fr/dload/spot/spot-2.16.tar.gz","tag":null,"revision":null,"using":null,"checksum":"688463cb2fa393c51d9cf938fb01a716b91e4c8122aeb52fd116a3bbfddab869"}},"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_golden_gate":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/spot/blobs/sha256:a931d5056f7d79e27861f6be31bbb6d2a4ce1b54fe98143b6d8221047b9dab25","sha256":"a931d5056f7d79e27861f6be31bbb6d2a4ce1b54fe98143b6d8221047b9dab25"},"arm64_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/spot/blobs/sha256:e1ec26a525add4518db370bba777082d78fcfe3c1dff62cefd652b5e6303cfc8","sha256":"e1ec26a525add4518db370bba777082d78fcfe3c1dff62cefd652b5e6303cfc8"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/spot/blobs/sha256:0cb35760e6504fb34e0dbafbb61ba7cf0b725a767dd98fd0faefbe19a98368d6","sha256":"0cb35760e6504fb34e0dbafbb61ba7cf0b725a767dd98fd0faefbe19a98368d6"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/spot/blobs/sha256:1ea411402fe46689720ab8705b27916dc1bb5ca46d2e74ef89686c5f905b9811","sha256":"1ea411402fe46689720ab8705b27916dc1bb5ca46d2e74ef89686c5f905b9811"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/spot/blobs/sha256:aebb085071607f69116e6dd7fa8b4844fdd28b53312b171187e75f3b32252936","sha256":"aebb085071607f69116e6dd7fa8b4844fdd28b53312b171187e75f3b32252936"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/spot/blobs/sha256:d0e8428cda3ae1e2683b14afacc618ea321c522b45011000a6721b0c5d5ad65a","sha256":"d0e8428cda3ae1e2683b14afacc618ea321c522b45011000a6721b0c5d5ad65a"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["python@3.14"],"dependencies":[],"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":"380e4ab0416351fcb6b13975f85f16c8eaea5b7b","ruby_source_path":"Formula/s/spot.rb","ruby_source_checksum":{"sha256":"6663a186df32cda9f6bfeb2fb1d419f6ca297cdc2fc5a020e2f1df0a92ed4dc9"},"variations":{},"executables":["autcross","autfilt","dstar2tgba","genaut","genltl","ltl2tgba","ltlcross","ltldo","ltlf2dfa","ltlfilt","ltlfsynt","ltlgrind","ltlmix","ltlsynt","randaut","randltl"],"analytics":{"install":{"30d":{"spot":10},"90d":{"spot":48},"365d":{"spot":443,"spot --HEAD":1}},"install_on_request":{"30d":{"spot":5},"90d":{"spot":42},"365d":{"spot":392,"spot --HEAD":1}},"build_error":{"30d":{"spot":0}}},
"generated_date":"2026-09-14"}