{
  "repodata": {
    "build": "py312hdf96579_1",
    "build_number": 1,
    "depends": [
      "libz3 4.15.4 h86909b6_1",
      "python >=3.12,<3.13.0a0"
    ],
    "license": "MIT",
    "md5": "02d47e96f8581ca952e5c35828dbcdda",
    "name": "z3prover",
    "sha256": "d20ad049dea9a2b000012b3f45214de8e16b50a620ab097aa155997bbd98a1cc",
    "size": 11586,
    "subdir": "linux-aarch64",
    "timestamp": 1786993657528,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/Qw7NmsVCSuuTsY8kGDG7WQ/1786994656/linux-aarch64/z3prover-4.15.4-py312hdf96579_1.tar.bz2",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "79374f433ae4d91faf58b7fc7e1778d876b7ee8fbcf432d75c509a2f12eea479dadc4466e9fc889a028fe467d2c94c5d04114b1c90e4447b3e0a6cdcc5b3450f"
  }
}