{"name":"ltl2ba","full_name":"ltl2ba","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Translate LTL formulae to Buchi automata","license":"GPL-2.0-or-later","homepage":"https://www.lsv.ens-cachan.fr/~gastin/ltl2ba/","versions":{"stable":"1.3","head":null,"bottle":true},"urls":{"stable":{"url":"https://www.lsv.fr/~gastin/ltl2ba/ltl2ba-1.3.tar.gz","tag":null,"revision":null,"using":null,"checksum":"912877cb2929cddeadfd545a467135a2c61c507bbd5ae0edb695f8b5af7ce9af"}},"revision":0,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"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"},"mojave":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:3e5ddce23730195799dfe85c97a57d63e892f168cda5207c72c68b459e5a92a0","sha256":"3e5ddce23730195799dfe85c97a57d63e892f168cda5207c72c68b459e5a92a0"},"high_sierra":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ltl2ba/blobs/sha256:533a278e70570b8f83550c784ccb7c921d9fb5b93ac613c3f971703090dd7921","sha256":"533a278e70570b8f83550c784ccb7c921d9fb5b93ac613c3f971703090dd7921"},"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,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"54de2accfb29843dc770bc3c97d85babe7e5f41f","ruby_source_path":"Formula/l/ltl2ba.rb","ruby_source_checksum":{"sha256":"9bd733a90231d4e38e7d54e05680e4607f59ee1c64c6e6b7932afa4e0b91d0f9"},"variations":{},"analytics":{"install":{"30d":{"ltl2ba":0},"90d":{"ltl2ba":4},"365d":{"ltl2ba":11}},"install_on_request":{"30d":{"ltl2ba":0},"90d":{"ltl2ba":4},"365d":{"ltl2ba":11}},"build_error":{"30d":{"ltl2ba":0}}},
"generated_date":"2024-05-12"}