{"name":"cryptol","full_name":"cryptol","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Domain-specific language for specifying cryptographic algorithms","license":"BSD-3-Clause","homepage":"https://www.cryptol.net/","versions":{"stable":"3.1.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://hackage.haskell.org/package/cryptol-3.1.0/cryptol-3.1.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"f2590f15b0119de5510eca2d02a58a399771bf4224f5a3cc9b8ec90aeb050b03"},"head":{"url":"https://github.com/GaloisInc/cryptol.git","branch":"master","using":null}},"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/cryptol/blobs/sha256:1be83ca0be77a60bfcf7a34c7dc0d13e1fdd54b450dde449c0f15329ba949dc0","sha256":"1be83ca0be77a60bfcf7a34c7dc0d13e1fdd54b450dde449c0f15329ba949dc0"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:3ca83d6fc539c6e18d9c2b58bac75989aae2ddc23953435102cc33c1a14075d2","sha256":"3ca83d6fc539c6e18d9c2b58bac75989aae2ddc23953435102cc33c1a14075d2"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:22388ee60dcb8763aac086a0a832ea43e698aced5856d3947d4f8b8545405869","sha256":"22388ee60dcb8763aac086a0a832ea43e698aced5856d3947d4f8b8545405869"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:17f366d8ea5018ca894f9e49954be47b0c5914e354ca2d0114abb6a45578884a","sha256":"17f366d8ea5018ca894f9e49954be47b0c5914e354ca2d0114abb6a45578884a"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:87a41137441d109ec334949c400c82b338016ab8c2d25766e9614afe8b1d3bee","sha256":"87a41137441d109ec334949c400c82b338016ab8c2d25766e9614afe8b1d3bee"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:5b90479b081bfb2a55ebdd6f8f5ebb2d5bf834fcf2a72482d7fb6310c419e53a","sha256":"5b90479b081bfb2a55ebdd6f8f5ebb2d5bf834fcf2a72482d7fb6310c419e53a"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/cryptol/blobs/sha256:01a860d5fde8f60bf6435f68c9283422d445269c509c9c3607fe9c1b2fbbbd7a","sha256":"01a860d5fde8f60bf6435f68c9283422d445269c509c9c3607fe9c1b2fbbbd7a"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cabal-install","ghc@9.6"],"dependencies":["z3"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":["ncurses","zlib"],"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/c/cryptol.rb","ruby_source_checksum":{"sha256":"d6b6743025b185c498adaa2c733f5800e139094f37eaea003020bcba3904e91e"},"variations":{},"analytics":{"install":{"30d":{"cryptol":40},"90d":{"cryptol":125},"365d":{"cryptol":571}},"install_on_request":{"30d":{"cryptol":40},"90d":{"cryptol":125},"365d":{"cryptol":571}},"build_error":{"30d":{"cryptol":0}}},
"generated_date":"2024-05-13"}