{
  "repodata": {
    "build": "py311hd43f75c_1",
    "build_number": 1,
    "depends": [
      "libz3 4.15.4 h86909b6_1",
      "python >=3.11,<3.12.0a0"
    ],
    "license": "MIT",
    "license_family": "MIT",
    "md5": "500529a978b4598030cb3cb864507cb3",
    "name": "z3prover",
    "sha256": "ead44c11a71ea0e79ec6f90113b59d7d93d5342c3e8736ef5f30b462a5657a82",
    "size": 12516,
    "subdir": "linux-aarch64",
    "timestamp": 1786995663635,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/RRNEEYLfQ5isSdkjhdL6Mg/1786996421/linux-aarch64/z3prover-4.15.4-py311hd43f75c_1.conda",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "3b3cef007af7e121e4f55f09fa4f7224d5f68124cb7f7cecd26fa6a1b991c047fb77b4fbe9a75873c756e9f36a6c539e7257a6b339d88a8d2a8d08a0f0986905"
  }
}