{
  "repodata": {
    "build": "py313hce1c8c3_0",
    "build_number": 0,
    "depends": [
      "libz3 4.15.4 h24d9097_0",
      "python >=3.13,<3.14.0a0",
      "python_abi 3.13.* *_cp313"
    ],
    "license": "MIT",
    "md5": "9df15d4ae382d2be1912c177c7402fb0",
    "name": "z3prover",
    "sha256": "309793c455973a0cd1c7ed83ab0aeb3a96b08ccde2f6818fe5ae1f01b878bf9a",
    "size": 11227,
    "subdir": "linux-64",
    "timestamp": 1781623260729,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/FIreCR--TDqbDIDRJT2U7w/1781623705/linux-64/z3prover-4.15.4-py313hce1c8c3_0.tar.bz2",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "927a06e40b8503cf368684aaea5f1ea86e54a6b4a8070a0df4618d0de9121bcd82ae13465038e5171174cd89c1649c77b97a512c3a0329ca2f7d3534e2dd1301"
  }
}