{
  "repodata": {
    "build": "py314haa95532_1",
    "build_number": 1,
    "depends": [
      "libz3 4.15.4 he66ec92_1",
      "python >=3.14,<3.15.0a0",
      "python_abi 3.14.* *_cp314"
    ],
    "license": "MIT",
    "license_family": "MIT",
    "md5": "93e4f0c62bd2f17be3d546454f3acf43",
    "name": "z3prover",
    "sha256": "f7b16d4134359693154e62bd75a9a8ba1c6ff0f29d9d8e3102f69b8f27e3ee4d",
    "size": 12416,
    "subdir": "win-64",
    "timestamp": 1786995994853,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/RRNEEYLfQ5isSdkjhdL6Mg/1786996442/win-64/z3prover-4.15.4-py314haa95532_1.conda",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "234da71c3cb707cff2657897b8d02714ed5c2c5edc934330b21bab8f5316a72b096601939fb9971922c8f6a84c5cff318f0ca04626e5cfbc8776a0db58e1710d"
  }
}