{
  "repodata": {
    "build": "py310hdf96579_0",
    "build_number": 0,
    "depends": [
      "libz3 4.15.4 h86909b6_0",
      "python >=3.10,<3.11.0a0"
    ],
    "license": "MIT",
    "md5": "4926f10ddf0aac647fd103d846c2385c",
    "name": "z3prover",
    "sha256": "86c74df5481a6b5ae7c18a0e05d94ec8a95d7fae0e63ec143fe71403ffcd9d56",
    "size": 10948,
    "subdir": "linux-aarch64",
    "timestamp": 1781620381585,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/OeHW2aRQSECLoAYWohPb0g/1781620943/linux-aarch64/z3prover-4.15.4-py310hdf96579_0.tar.bz2",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "307c13e82479a989fcb0e94321e8f314eeafc40ee35f3abd73a52a9de042e5db73fc8fd7c5d48d67e342b30b72a8debdfcf5cdf584fb99c567b78b4b0c27e705"
  }
}