{"name":"cryptol","full_name":"cryptol","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Domain-specific language for specifying cryptographic algorithms","license":"BSD-3-Clause","homepage":"https://galoisinc.github.io/cryptol/master/RefMan.html","versions":{"stable":"3.5.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://hackage.haskell.org/package/cryptol-3.5.0/cryptol-3.5.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"7341c026ef83b18d2c784cfedb37003f74d1560605cd9c3107b5b6fc31fb2f84"},"head":{"url":"https://github.com/GaloisInc/cryptol.git","branch":"master","using":null}},"patches":[],"revision":0,"version_scheme":0,"compatibility_version":null,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":2,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_tahoe":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:442c223f23feefe428c40453fec095caac6b0eae8fc6e757ce927df7a48b34b5","sha256":"442c223f23feefe428c40453fec095caac6b0eae8fc6e757ce927df7a48b34b5"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:5eedb6d9e418457f4a167256cb66e9af62e8615f6824e3727a7c7c6d3f283cdc","sha256":"5eedb6d9e418457f4a167256cb66e9af62e8615f6824e3727a7c7c6d3f283cdc"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:883d9fa8b52331e1f3d63afcbf445a85043dfe4e32f33f15eb633fea00bd4260","sha256":"883d9fa8b52331e1f3d63afcbf445a85043dfe4e32f33f15eb633fea00bd4260"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:3e77ef0212f48a223ced63e75a1f40bf610607ad0b44615d1ba36a9d435dd89b","sha256":"3e77ef0212f48a223ced63e75a1f40bf610607ad0b44615d1ba36a9d435dd89b"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:772daa96008c391f444a2b33c1a6b4ab219bffdf4b1932ac8c882eb3c0729ce9","sha256":"772daa96008c391f444a2b33c1a6b4ab219bffdf4b1932ac8c882eb3c0729ce9"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:7a2376a36d364c39725f0a119a3c2ea4123fe5d4cf6b50fe15784fa1bd6021e6","sha256":"7a2376a36d364c39725f0a119a3c2ea4123fe5d4cf6b50fe15784fa1bd6021e6"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cabal-install","ghc@9.12"],"dependencies":["gmp","z3"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":["libffi","ncurses"],"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_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"bcee62f39de399f95c03acba30eadefc8528036b","ruby_source_path":"Formula/c/cryptol.rb","ruby_source_checksum":{"sha256":"bf89e49323fffe6fac7751abb7fd9e98a09ab8e85c1072fbb0d59e5903f34c3d"},"variations":{"x86_64_linux":{"dependencies":["gmp","z3","zlib-ng-compat"]},"arm64_linux":{"dependencies":["gmp","z3","zlib-ng-compat"]}},"executables":["check-exercises","cryptol","cryptol-html"],"analytics":{"install":{"30d":{"cryptol":12},"90d":{"cryptol":25},"365d":{"cryptol":204}},"install_on_request":{"30d":{"cryptol":12},"90d":{"cryptol":25},"365d":{"cryptol":204}},"build_error":{"30d":{"cryptol":0}}},
"generated_date":"2026-08-13"}