{
  "info": {
    "subdir": "win-64"
  },
  "packages": {
    "libz3-4.15.4-he66ec92_1.tar.bz2": {
      "build": "he66ec92_1",
      "build_number": 1,
      "constrains": [
        "z3prover ==4.15.4"
      ],
      "depends": [
        "_openmp_mutex * *_msvc",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "89babf917e81c156d7938d12e91d37d5",
      "name": "libz3",
      "sha256": "ff673553c1427df0372c3b2da4bb502723563e237ba5f7e8901c654970f3e8d4",
      "size": 12706451,
      "subdir": "win-64",
      "timestamp": 1786994234375,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310he66ec92_1.tar.bz2": {
      "build": "py310he66ec92_1",
      "build_number": 1,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_1",
        "python >=3.10,<3.11.0a0",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "1d4df2d1d28bfb6573e6336a9546f316",
      "name": "z3-solver",
      "sha256": "c4e752c7d5aabe0e4c1dee40ad9fa0cbe473f8a5f7f9f1179e86a023f86fca73",
      "size": 215671,
      "subdir": "win-64",
      "timestamp": 1786994254560,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311he66ec92_1.tar.bz2": {
      "build": "py311he66ec92_1",
      "build_number": 1,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_1",
        "python >=3.11,<3.12.0a0",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "1baa3a4be2e740205911818865120bcb",
      "name": "z3-solver",
      "sha256": "2fdc24c687b13b4338e4d1f6703ba270078108f2950c3fffa80dc1c17d7beef4",
      "size": 307723,
      "subdir": "win-64",
      "timestamp": 1786994269509,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312he66ec92_1.tar.bz2": {
      "build": "py312he66ec92_1",
      "build_number": 1,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_1",
        "python >=3.12,<3.13.0a0",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "898cc9a86caba59124d4168b6b0f1c20",
      "name": "z3-solver",
      "sha256": "c3db0952d029667a5148fd45118f9ef6d7e8c1433c4110ae84c3da509315fdb5",
      "size": 280489,
      "subdir": "win-64",
      "timestamp": 1786994280397,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313he66ec92_1.tar.bz2": {
      "build": "py313he66ec92_1",
      "build_number": 1,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "f8c0169c707e2981e286386c86060e68",
      "name": "z3-solver",
      "sha256": "6044abc5a064e12a17e839fc8a80ffba6188afbf501274de9e6befe63b5e81ff",
      "size": 289346,
      "subdir": "win-64",
      "timestamp": 1786994259437,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314he66ec92_1.tar.bz2": {
      "build": "py314he66ec92_1",
      "build_number": 1,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "74bde82a7b1fdb4f0c30fbb76bd00cfe",
      "name": "z3-solver",
      "sha256": "ced125f48711889c2b135f820cfaa3a0bcdd60df52bca0d3cf3713a05008b8b9",
      "size": 294709,
      "subdir": "win-64",
      "timestamp": 1786994278190,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h169ad4e_1.tar.bz2": {
      "build": "py310h169ad4e_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "183aa706a2ee0ba8d9fb9c85d5097a0d",
      "name": "z3prover",
      "sha256": "69820d954ed458169d3ab33ec093c956d0528c0b25d86a89bf195ef1e5a7fe14",
      "size": 11393,
      "subdir": "win-64",
      "timestamp": 1786994256804,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h169ad4e_1.tar.bz2": {
      "build": "py311h169ad4e_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "cc3e80bfdd4d4d7d96bc62f38f00d550",
      "name": "z3prover",
      "sha256": "363387741b30a5ae6d335f7c2e6ced3fc915b13443a5a6fea9713f072432cd21",
      "size": 11381,
      "subdir": "win-64",
      "timestamp": 1786994272051,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h169ad4e_1.tar.bz2": {
      "build": "py312h169ad4e_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "772ea01ed93b13821b060c35a460f864",
      "name": "z3prover",
      "sha256": "ab70205bd50eef663cd6effc310538ceaba4c11918c9b6d35896a9d83782db7a",
      "size": 11392,
      "subdir": "win-64",
      "timestamp": 1786994282679,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h169ad4e_1.tar.bz2": {
      "build": "py313h169ad4e_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "2ad0c24b33f6546582d840f3f7e442d7",
      "name": "z3prover",
      "sha256": "da7c102eebbbdfadec69a880f01cd0cf9854f3fa0268e18237f1e30d2e5e798c",
      "size": 11433,
      "subdir": "win-64",
      "timestamp": 1786994261783,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h169ad4e_1.tar.bz2": {
      "build": "py314h169ad4e_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "9ac391b3b5f34f89c3d83eae41378aaa",
      "name": "z3prover",
      "sha256": "e08381b5e621ea87139000f5662f77a3392018ccfc7b5a9ecfdc8f6c96fe8de2",
      "size": 11405,
      "subdir": "win-64",
      "timestamp": 1786994280527,
      "version": "4.15.4"
    }
  },
  "packages.conda": {
    "libz3-4.15.4-he66ec92_1.conda": {
      "build": "he66ec92_1",
      "build_number": 1,
      "constrains": [
        "z3prover ==4.15.4"
      ],
      "depends": [
        "_openmp_mutex * *_msvc",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "506868941ff933228ffd28fe67ed41a6",
      "name": "libz3",
      "sha256": "e6073f3d6497eee352332a191aef8f9eaec1e6d947db1aa49a349cdf96d600cc",
      "size": 10633655,
      "subdir": "win-64",
      "timestamp": 1786994234375,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310he66ec92_1.conda": {
      "build": "py310he66ec92_1",
      "build_number": 1,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_1",
        "python >=3.10,<3.11.0a0",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "4f385b9a2d6cb22dde1fd099d7927eff",
      "name": "z3-solver",
      "sha256": "4f58c4fe46beb44084867e2b92380db5929fb843f83d12f1c72e7e10ebfcc659",
      "size": 213493,
      "subdir": "win-64",
      "timestamp": 1786994254560,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311he66ec92_1.conda": {
      "build": "py311he66ec92_1",
      "build_number": 1,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_1",
        "python >=3.11,<3.12.0a0",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "3920f668f723395762c6e1a1f4dafdd7",
      "name": "z3-solver",
      "sha256": "da4655f138cd38d44567809768c1f9d2ad2ca09f5ef0ba4b1d02aed36a09c923",
      "size": 286251,
      "subdir": "win-64",
      "timestamp": 1786994269509,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312he66ec92_1.conda": {
      "build": "py312he66ec92_1",
      "build_number": 1,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_1",
        "python >=3.12,<3.13.0a0",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "cd46e76a08c2e0facb96262d393fc52a",
      "name": "z3-solver",
      "sha256": "f9ed0d9e6d8b3c9847437c39fb4b83d385333c324db2ae7ba751b26055f7df68",
      "size": 271506,
      "subdir": "win-64",
      "timestamp": 1786994280397,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313he66ec92_1.conda": {
      "build": "py313he66ec92_1",
      "build_number": 1,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "d4b9079059504dd9633d28ddbae6d2a2",
      "name": "z3-solver",
      "sha256": "c7c082557d9d097553b4727133193d9baddb5a08a9b12a6c3e8c041815db82d9",
      "size": 281624,
      "subdir": "win-64",
      "timestamp": 1786994259437,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314he66ec92_1.conda": {
      "build": "py314he66ec92_1",
      "build_number": 1,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314",
        "ucrt >=10.0.20348.0",
        "vc >=14.3,<15",
        "vc14_runtime >=14.44.35208",
        "vcomp14 >=14.44.35208"
      ],
      "license": "MIT",
      "md5": "2968122490121346359494f1a5a9794a",
      "name": "z3-solver",
      "sha256": "00ee3b1778ff4aaabae4524b08fe43311d71fba7205b0c24fb2fe62add21fc3e",
      "size": 286535,
      "subdir": "win-64",
      "timestamp": 1786994278190,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h169ad4e_1.conda": {
      "build": "py310h169ad4e_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "15cdb75b1ce44ed65844edac9a4c9a18",
      "name": "z3prover",
      "sha256": "70fc6db388f69923c76cb0c48b7b958804c6bd91e41c46145731ecd168b323a7",
      "size": 11741,
      "subdir": "win-64",
      "timestamp": 1786994256804,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h169ad4e_1.conda": {
      "build": "py311h169ad4e_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "c7dc3cfd258a437f2acddcbd15f00e20",
      "name": "z3prover",
      "sha256": "bbab7bd82c6a6569ea8534093887bbc94473db425e032996aebe3201702df732",
      "size": 11748,
      "subdir": "win-64",
      "timestamp": 1786994272051,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h169ad4e_1.conda": {
      "build": "py312h169ad4e_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "f949e15cc77c44f60859a9c1a8b23e85",
      "name": "z3prover",
      "sha256": "fc35a55247ea5adfd9362776198150140a7c146abc61fbe0ed345ff33585f5ca",
      "size": 11774,
      "subdir": "win-64",
      "timestamp": 1786994282679,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h169ad4e_1.conda": {
      "build": "py313h169ad4e_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "a5f36d4b25ad05762270cae53fb38132",
      "name": "z3prover",
      "sha256": "203c1fc9ba466668dcfba556a53f15c1510b3f36d1a59ea3a54ce1fb09623811",
      "size": 11743,
      "subdir": "win-64",
      "timestamp": 1786994261783,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h169ad4e_1.conda": {
      "build": "py314h169ad4e_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "4c97b4b345ea7c89049702a3fc3a4b10",
      "name": "z3prover",
      "sha256": "2c2d9c155460ceccba04b82b4f60f1d10c3d8e7ec3d4106bf339ae0d15ac9250",
      "size": 11713,
      "subdir": "win-64",
      "timestamp": 1786994280527,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}