{"name":"ltl2ba","full_name":"ltl2ba","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Translate LTL formulae to Buchi automata","license":"GPL-2.0-or-later","homepage":"https://lsv.ens-paris-saclay.fr/~gastin/ltl2ba/","versions":{"stable":"1.3","head":null,"bottle":true},"urls":{"stable":{"url":"https://lsv.ens-paris-saclay.fr/~gastin/ltl2ba/ltl2ba-1.3.tar.gz","tag":null,"revision":null,"using":null,"checksum":"912877cb2929cddeadfd545a467135a2c61c507bbd5ae0edb695f8b5af7ce9af"}},"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_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:44343a3a706997bce508f8376785fa1f113926565bc18a57b0409545e1dff44d","sha256":"44343a3a706997bce508f8376785fa1f113926565bc18a57b0409545e1dff44d"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:18b178bd47a42ca3c5ab755e80cb5ec5a087807c1bef4fc064aa97a3ff18d76a","sha256":"18b178bd47a42ca3c5ab755e80cb5ec5a087807c1bef4fc064aa97a3ff18d76a"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:5527191de9afab610f9d220b2c62ceed062df2e5e2c99b1743381c57067b9535","sha256":"5527191de9afab610f9d220b2c62ceed062df2e5e2c99b1743381c57067b9535"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:89c79976b12030dc618c9466ad4f1f9f14fe9dff815850ac6ecc38ab10f63981","sha256":"89c79976b12030dc618c9466ad4f1f9f14fe9dff815850ac6ecc38ab10f63981"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:1e35ea05ee9b358df863d969c190abea48b61ec737c7aaa5fb01f9f7de455330","sha256":"1e35ea05ee9b358df863d969c190abea48b61ec737c7aaa5fb01f9f7de455330"},"arm64_big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:577639caaf79515113fee790d593bc735b9f54bbb2bf93ae2788655a455aecaa","sha256":"577639caaf79515113fee790d593bc735b9f54bbb2bf93ae2788655a455aecaa"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:075820e7ecfee9fb538889ee1f2a32e0f3e4b0aa8ba8194c22418eb7d856abe3","sha256":"075820e7ecfee9fb538889ee1f2a32e0f3e4b0aa8ba8194c22418eb7d856abe3"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:18f8eb78ca95bd4217b9ca697e608c62cc0f0fb8a632585f3ce57f75e82b2b66","sha256":"18f8eb78ca95bd4217b9ca697e608c62cc0f0fb8a632585f3ce57f75e82b2b66"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:287ea81802bff62078478fccce3b85695feb945996f59bbf17d3e28712bb51ac","sha256":"287ea81802bff62078478fccce3b85695feb945996f59bbf17d3e28712bb51ac"},"big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:c85c152985dcdd33f028941a0b2e62d20d5f247142111b9fb30c11ea9dd424b7","sha256":"c85c152985dcdd33f028941a0b2e62d20d5f247142111b9fb30c11ea9dd424b7"},"catalina":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:ede3b5e5b22b886bce4f6f2ead352dc4a676e3d8a95f9543930f2be2b3a0b4b4","sha256":"ede3b5e5b22b886bce4f6f2ead352dc4a676e3d8a95f9543930f2be2b3a0b4b4"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:7dcc015888d23a53ef7cb653015c0a93abad381753c277e6f76f535a13351e82","sha256":"7dcc015888d23a53ef7cb653015c0a93abad381753c277e6f76f535a13351e82"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:948ef5632a4054316599f6361411d994459971c64749fe99609f13c3c51b9fe7","sha256":"948ef5632a4054316599f6361411d994459971c64749fe99609f13c3c51b9fe7"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"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_defined":false,"service":null,"tap_git_head":"e01c7ad6d10ba193cc4ad127a7282b5d2bdbbbd3","ruby_source_path":"Formula/l/ltl2ba.rb","ruby_source_checksum":{"sha256":"1b1ff93fcd80f839a50194bdcbc3172dab22c298d9ca7eef36451787793f7a8f"},"variations":{},"analytics":{"install":{"30d":{"ltl2ba":1},"90d":{"ltl2ba":16},"365d":{"ltl2ba":33}},"install_on_request":{"30d":{"ltl2ba":1},"90d":{"ltl2ba":16},"365d":{"ltl2ba":33}},"build_error":{"30d":{"ltl2ba":0}}},
"generated_date":"2026-04-28"}