{"name":"ats2-postiats","full_name":"ats2-postiats","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Programming language with formal specification features","license":"GPL-3.0-only","homepage":"https://www.cs.bu.edu/~hwxi/atslangweb/","versions":{"stable":"0.4.2","head":null,"bottle":true},"urls":{"stable":{"url":"https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.4.2/ATS2-Postiats-0.4.2.tgz","tag":null,"revision":null,"using":null,"checksum":"51b8e75e62321f5e3e97d7996d605c46a90c6721b568b9b52fe00c19944134d3"}},"revision":1,"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/ats2-postiats/blobs/sha256:d971aa331b5bb0f2efb3e34658fbc4fdf590dbfaffc3c257f4c16ac177ff6821","sha256":"d971aa331b5bb0f2efb3e34658fbc4fdf590dbfaffc3c257f4c16ac177ff6821"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:32296b820ff276f1de0eed59460f9dd48ca47132a77fdee78ee19fed9ba46923","sha256":"32296b820ff276f1de0eed59460f9dd48ca47132a77fdee78ee19fed9ba46923"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:53cc8a637f0375080c8071792bef06c870579bab915aa44f7525ae580e9fd8f2","sha256":"53cc8a637f0375080c8071792bef06c870579bab915aa44f7525ae580e9fd8f2"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:edc96757ad3e2248e4d87f904edeb0af670f07989406e0f5a4ae5e9e342ef959","sha256":"edc96757ad3e2248e4d87f904edeb0af670f07989406e0f5a4ae5e9e342ef959"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:bd07b22230211e0dd486209ccf7e4e370ae0f23cd651b57ad53ecd897143affd","sha256":"bd07b22230211e0dd486209ccf7e4e370ae0f23cd651b57ad53ecd897143affd"},"arm64_big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:9e1df17625267408944c93dc245b69d4d9fbbc94a2c61352d4ec1a23a88168e0","sha256":"9e1df17625267408944c93dc245b69d4d9fbbc94a2c61352d4ec1a23a88168e0"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:8237ef66fb0b9a07269662b74692cab6553440ed113d2b40fd1f304915b60711","sha256":"8237ef66fb0b9a07269662b74692cab6553440ed113d2b40fd1f304915b60711"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:fb64d3578989ac866fbe0aa59cb22626abaa518dd0f82c196a1378b8983fd6cf","sha256":"fb64d3578989ac866fbe0aa59cb22626abaa518dd0f82c196a1378b8983fd6cf"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:ea6fbabe5daedb333244e591027f092c335a08ca202863df9ea045f36d983661","sha256":"ea6fbabe5daedb333244e591027f092c335a08ca202863df9ea045f36d983661"},"big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:747125c30964abb7ad33c827104ca58fdacbba8010f19e3cbf9c0590d3b95734","sha256":"747125c30964abb7ad33c827104ca58fdacbba8010f19e3cbf9c0590d3b95734"},"catalina":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:c6906922f37376e8edc668995c8cbbf965f0da4faa63940388f26bd3d0a455af","sha256":"c6906922f37376e8edc668995c8cbbf965f0da4faa63940388f26bd3d0a455af"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:03245b8efbf85b96591b28ec06ca32b8c7da1b5dcdb8bf32c62dda500b98e5f7","sha256":"03245b8efbf85b96591b28ec06ca32b8c7da1b5dcdb8bf32c62dda500b98e5f7"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/ats2-postiats/blobs/sha256:6a8f6e305de82f8adcdd01b2533de14fe9d9209d3cf9f0253ec64e5088dcc155","sha256":"6a8f6e305de82f8adcdd01b2533de14fe9d9209d3cf9f0253ec64e5088dcc155"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"dependencies":["gmp"],"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":"f0c124556c25d1d383ae57335c1e892f34da9e9b","ruby_source_path":"Formula/a/ats2-postiats.rb","ruby_source_checksum":{"sha256":"702b346f7f808a7abf87f3a4d752fbc8847f07e3b4bcf54dc1c90249a98b59ce"},"variations":{},"analytics":{"install":{"30d":{"ats2-postiats":1},"90d":{"ats2-postiats":4},"365d":{"ats2-postiats":15}},"install_on_request":{"30d":{"ats2-postiats":1},"90d":{"ats2-postiats":4},"365d":{"ats2-postiats":15}},"build_error":{"30d":{"ats2-postiats":0}}},
"generated_date":"2026-04-28"}