{"name":"civl","full_name":"civl","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Concurrency Intermediate Verification Language","license":"GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause","homepage":"https://vsl.cis.udel.edu/civl/","versions":{"stable":"1.22-5854","head":null,"bottle":true},"urls":{"stable":{"url":"https://vsl.cis.udel.edu/lib/sw/civl/1.22/r5854/release/CIVL-1.22_5854.tgz","tag":null,"revision":null,"using":null,"checksum":"daf5c5a7295909d45a26d8775a8e7677495d69ab9c303638394ec189c4956b0e"}},"revision":0,"version_scheme":0,"compatibility_version":null,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":1,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"all":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/civl/blobs/sha256:71c991aa3a7b29a8c41578d2220e02bbaad9b42d000b3119a0f054bd57892f82","sha256":"71c991aa3a7b29a8c41578d2220e02bbaad9b42d000b3119a0f054bd57892f82"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"dependencies":["openjdk","z3"],"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/c/civl.rb","ruby_source_checksum":{"sha256":"d305741d9545376b2492566132bfac900d5c1d76d9014b419e6fe606a4d1179c"},"variations":{},"analytics":{"install":{"30d":{"civl":27},"90d":{"civl":52},"365d":{"civl":218}},"install_on_request":{"30d":{"civl":27},"90d":{"civl":52},"365d":{"civl":218}},"build_error":{"30d":{"civl":0}}},
"generated_date":"2026-04-28"}