{"name":"ats2-postiats","full_name":"ats2-postiats","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Programming language with formal specification features","license":"GPL-3.0-only","homepage":"http://www.ats-lang.org/","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,"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/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"},"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,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"8e99417b09acd7f3421aa539732f85107f6f64ff","ruby_source_path":"Formula/a/ats2-postiats.rb","ruby_source_checksum":{"sha256":"b4908bd13a908bbbbe2c7febb5c5bf00d7d9f1b32d8b12445997580540f84efe"},"variations":{},"analytics":{"install":{"30d":{"ats2-postiats":0},"90d":{"ats2-postiats":3},"365d":{"ats2-postiats":81}},"install_on_request":{"30d":{"ats2-postiats":0},"90d":{"ats2-postiats":3},"365d":{"ats2-postiats":81}},"build_error":{"30d":{"ats2-postiats":0}}},
"generated_date":"2024-05-13"}