{
  "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": "b49d1e9e0979caffc0846f89a03e3c51",
    "name": "z3prover",
    "sha256": "b9424c8107f6586f7bde4fbf8a0bbf6aeefebc073daeb3afe1f13a1562265ee8",
    "size": 12431,
    "subdir": "win-64",
    "timestamp": 1786995406113,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/BZOvM7UOT_mxGHU3LAsEAg/1786995760/win-64/z3prover-4.15.4-py314haa95532_1.conda",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "b0c7676857c9e57d67416b6f1ab9eeafb8d9ff98a745999c285c8e4fa02d88b88dbc2c2eebeb5cf75ff347a1d510599d1b8356cca7508672df4832ac552ff409"
  }
}