{
  "repodata": {
    "build": "py313haa95532_1",
    "build_number": 1,
    "depends": [
      "libz3 4.15.4 he66ec92_1",
      "python >=3.13,<3.14.0a0",
      "python_abi 3.13.* *_cp313"
    ],
    "license": "MIT",
    "license_family": "MIT",
    "md5": "d168d49b88f9246bd5e8a96d487a1d8e",
    "name": "z3prover",
    "sha256": "8b245ea1a1b9d69ad82f4aa2b5aba973a5a1c8f788ee43a7eb97fcc5594e7996",
    "size": 12125,
    "subdir": "win-64",
    "timestamp": 1786995970791,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/RRNEEYLfQ5isSdkjhdL6Mg/1786996442/win-64/z3prover-4.15.4-py313haa95532_1.tar.bz2",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "1444ac5131c1373c9383e576c739aa2641df201bb5fb8728da1372171c33ccdb3c9b7ab8308298e9ce9677777efda97e7a6f03bc248f0116c2274d72bc77920d"
  }
}