{
  "repodata": {
    "build": "py314h06a4308_1",
    "build_number": 1,
    "depends": [
      "libz3 4.15.4 h24d9097_1",
      "python >=3.14,<3.15.0a0",
      "python_abi 3.14.* *_cp314"
    ],
    "license": "MIT",
    "license_family": "MIT",
    "md5": "5d84de5beda5c1d03cc3b02022928c36",
    "name": "z3prover",
    "sha256": "0b9e10cd9627624dfefb09cf177eda0ac90f9404bb3fb627fdd10f5cc784f16d",
    "size": 12505,
    "subdir": "linux-64",
    "timestamp": 1786995812515,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/RRNEEYLfQ5isSdkjhdL6Mg/1786996409/linux-64/z3prover-4.15.4-py314h06a4308_1.conda",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "4b73df55c544ff2a9ab2a8665dacf49dae47e3b5234c90b157a53d58b60931507ad234a13a1ea3498c5a7a9ed3065a8c90b5e6f9178ea745b5e527e4ab1e0201"
  }
}