{
  "repodata": {
    "build": "py312hca03da5_1",
    "build_number": 1,
    "depends": [
      "libz3 4.15.4 haeee614_1",
      "python >=3.12,<3.13.0a0"
    ],
    "license": "MIT",
    "license_family": "MIT",
    "md5": "2ed34134d6b83fb06e432fa7c29f105b",
    "name": "z3prover",
    "sha256": "9ed9a2c295f3e759a02544cd631f7c4875070bcbf467afe2fba4d10da80203c0",
    "size": 12629,
    "subdir": "osx-arm64",
    "timestamp": 1786994537529,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/BZOvM7UOT_mxGHU3LAsEAg/1786995751/osx-arm64/z3prover-4.15.4-py312hca03da5_1.conda",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "d3663afb8b0335c438d2374f17c80d10e524e403b7cc0c5d70982e42404748cff0e5b6365334e0d12d7fd5ab14637fb15c10fc2d6b71bae3d84257a0c8f6be0a"
  }
}