{
  "repodata": {
    "build": "py310h169ad4e_0",
    "build_number": 0,
    "depends": [
      "libz3 4.15.4 he66ec92_0",
      "python >=3.10,<3.11.0a0"
    ],
    "license": "MIT",
    "md5": "0291ceabbe7e1118bd42ff45b7eeab75",
    "name": "z3prover",
    "sha256": "07ecd24d651becfec51909d743b7885c44745a728cdf7bfd519ed30344661779",
    "size": 10754,
    "subdir": "win-64",
    "timestamp": 1781620734608,
    "version": "4.15.4"
  },
  "s3": "builds/ci/prefect/OeHW2aRQSECLoAYWohPb0g/1781620910/win-64/z3prover-4.15.4-py310h169ad4e_0.tar.bz2",
  "signatures": {
    "7e3910a4b96ef2fe7242b10587a47039c8924fadf98a69503d63445e88b984b3": "3d333320d68099520e48fbd523010e9e2627578a4803ed51021a0ca75adee7f7634b5727a7913b72ccc81f08c43eadf6739a1ba1fdd3726cf7b878375658d606"
  }
}