{
  "repodata": {
    "build": "py311h9f272ee_0",
    "build_number": 0,
    "depends": [
      "libz3 4.15.4 haeee614_0",
      "python >=3.11,<3.12.0a0"
    ],
    "license": "MIT",
    "md5": "9817591881eb203012bf6653cb1d137c",
    "name": "z3prover",
    "sha256": "eef1fb2d76b79b1e9719debcf557a581d071f5b47a697b1ee8f2514e28f80951",
    "size": 10952,
    "subdir": "osx-arm64",
    "timestamp": 1781620102291,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/OeHW2aRQSECLoAYWohPb0g/1781620920/osx-arm64/z3prover-4.15.4-py311h9f272ee_0.tar.bz2",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "da9cc2ebc0b8f58a248ec5e1e381337d002a5ef6007905124570b0bfdac4c66a81b997270ff95396a1c78d31562323aac5bc34fbe40612cd711295cc1d8c9b0b"
  }
}