{
  "repodata": {
    "build": "h86909b6_1",
    "build_number": 1,
    "constrains": [
      "z3prover ==4.15.4"
    ],
    "depends": [
      "__glibc >=2.28,<3.0.a0",
      "_openmp_mutex * *_gnu",
      "libgcc >=14",
      "libstdcxx >=14"
    ],
    "license": "MIT",
    "md5": "30fb6e980ebd63c4c4fff0e9e0df87fa",
    "name": "libz3",
    "sha256": "5afd7176e5e19078fd9dfd74a957f81b15636607154e1ce6889b2dc32909f851",
    "size": 22154551,
    "subdir": "linux-aarch64",
    "timestamp": 1786993608262,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/Qw7NmsVCSuuTsY8kGDG7WQ/1786994656/linux-aarch64/libz3-4.15.4-h86909b6_1.conda",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "18161b2e7d9a14205d6a8cd40f4798f58ec47d866cb808ff8204724f8515201f86b12d4d050784c5547d04353f265690954fed0fe5f0f93c288b0c5980a58f03"
  }
}