{
  "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": "85c50de6dd610431dcfb1bcde6d5d4e2",
    "name": "z3prover",
    "sha256": "653f5b2f25d8c8dbeed196f66655199cb0202bbf5803f3dda5b8c67da375ca1c",
    "size": 11562,
    "subdir": "linux-64",
    "timestamp": 1781623260729,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/FIreCR--TDqbDIDRJT2U7w/1781623705/linux-64/z3prover-4.15.4-py313hce1c8c3_0.conda",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "2f339e72c5b230c559b5b6a4400a84aab9b34552b9ed97510514aa3f528dbe6cb4fe6820f5c5d22724333db26f6383a099fa4b841efebaa45ee31b95b5ea210e"
  }
}