{
  "info": {
    "subdir": "win-64"
  },
  "packages": {
    "libz3-4.15.4-he66ec92_0.tar.bz2": {
      "build": "he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "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": "24030443d68ee2122f1c624cb5a6e7a6",
      "name": "libz3",
      "sha256": "5b411b0df96e237ac8cdf658ef9d45b664e8ec5ced6f5925e4096bea0e16c6ed",
      "size": 12714137,
      "subdir": "win-64",
      "timestamp": 1781624451716,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310he66ec92_0.tar.bz2": {
      "build": "py310he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_0",
        "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": "bfe3a0e2ed87fada104e78404a045def",
      "name": "z3-solver",
      "sha256": "04bd10ce451fea49391ae566f865ea1cd10729712ecab8a83412ecccf605cf63",
      "size": 216544,
      "subdir": "win-64",
      "timestamp": 1781624351671,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311he66ec92_0.tar.bz2": {
      "build": "py311he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_0",
        "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": "0f608e6556fe6722b9347698253c25d4",
      "name": "z3-solver",
      "sha256": "7c3def6987dbc890600863e1c395e29e3ab9072075c14e7f271ccffeb954b5a4",
      "size": 306321,
      "subdir": "win-64",
      "timestamp": 1781624374737,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312he66ec92_0.tar.bz2": {
      "build": "py312he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_0",
        "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": "b1a32ab729b349ff12798869b736790e",
      "name": "z3-solver",
      "sha256": "9f27575e68eb27d190180f80d7c7ee5ec49f274b3c16611bcef6f33df14bba85",
      "size": 292647,
      "subdir": "win-64",
      "timestamp": 1781624470696,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313he66ec92_0.tar.bz2": {
      "build": "py313he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_0",
        "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": "85b9b9209c8eba0e7cfcf9c91cb58731",
      "name": "z3-solver",
      "sha256": "8b1e4c187724ee347b8cffbd90945dd9b86b20b8b2017e54643be86367ae2423",
      "size": 284418,
      "subdir": "win-64",
      "timestamp": 1781624481725,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314he66ec92_0.tar.bz2": {
      "build": "py314he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_0",
        "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": "26d8859e12b5d208edcd325814f31a60",
      "name": "z3-solver",
      "sha256": "00085a3e8c49f3576e5a7a1f2850015c6c324bab0d6ac85c7106a17cf8b49a16",
      "size": 298928,
      "subdir": "win-64",
      "timestamp": 1781624491659,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h169ad4e_0.tar.bz2": {
      "build": "py310h169ad4e_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 he66ec92_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "aee849214580310cca2496e6bbb35ef6",
      "name": "z3prover",
      "sha256": "ca8a19a8b3857b17a5bbdfded86f10d00464177b9a825bc035deb36e246efbc0",
      "size": 11088,
      "subdir": "win-64",
      "timestamp": 1781624353186,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h169ad4e_0.tar.bz2": {
      "build": "py311h169ad4e_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 he66ec92_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "fa05578c0409e6c7fd3bb7ea7cee8fbf",
      "name": "z3prover",
      "sha256": "2c41bebfdffa8c8d5ae32b21829dcdb11291cdeaf5e2e50b2c2ff33b75437dc3",
      "size": 11110,
      "subdir": "win-64",
      "timestamp": 1781624376505,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h169ad4e_0.tar.bz2": {
      "build": "py312h169ad4e_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 he66ec92_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "126754cc804fa9b572a1466330524f13",
      "name": "z3prover",
      "sha256": "177911c1151c38c9e7b6c73162374ccdac1adcefbcf405064a2699a9cf1c5f6c",
      "size": 11123,
      "subdir": "win-64",
      "timestamp": 1781624472352,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h169ad4e_0.tar.bz2": {
      "build": "py313h169ad4e_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 he66ec92_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "ed919b20a82cf137a11cc160bbc6d3fd",
      "name": "z3prover",
      "sha256": "b92bbeeac227387b4bcff3c1f26bbd55209e339ef9ff5d668fc74892c1346f24",
      "size": 11146,
      "subdir": "win-64",
      "timestamp": 1781624483385,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h169ad4e_0.tar.bz2": {
      "build": "py314h169ad4e_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 he66ec92_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "834aa303e05d86da22fff1688a93bc07",
      "name": "z3prover",
      "sha256": "dc43662b3f8bc83cfbb7d372d1d0b3d035e6ef2f6bcd04b6a39f900ceb9f5738",
      "size": 11140,
      "subdir": "win-64",
      "timestamp": 1781624493374,
      "version": "4.15.4"
    }
  },
  "packages.conda": {
    "libz3-4.15.4-he66ec92_0.conda": {
      "build": "he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "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": "357827b481b95c0cefcc5c9d239b6b5d",
      "name": "libz3",
      "sha256": "814bace15d7535aa81132fc6bf5a25243064dd805c29b2574fb4a2e517a71933",
      "size": 10645390,
      "subdir": "win-64",
      "timestamp": 1781624451716,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310he66ec92_0.conda": {
      "build": "py310he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_0",
        "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": "12cb68edd753d9fdebef259856df01b7",
      "name": "z3-solver",
      "sha256": "132b8287e7e44679b2361f1aec6f0a3ce9141565bb0c0e9b0ef730379d8b1df7",
      "size": 215402,
      "subdir": "win-64",
      "timestamp": 1781624351671,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311he66ec92_0.conda": {
      "build": "py311he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_0",
        "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": "d7a7adaaf866a7cac8e37af4f8b4a389",
      "name": "z3-solver",
      "sha256": "11871db61f60ab8080aaca26448525be4fff93cbd0b0e5a516085c36d237c201",
      "size": 281807,
      "subdir": "win-64",
      "timestamp": 1781624374737,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312he66ec92_0.conda": {
      "build": "py312he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_0",
        "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": "c4c061f34ce26bb7714b56005ef306e9",
      "name": "z3-solver",
      "sha256": "496f7a1340f36d0c707dffae2fe1d289f015ebc6db2d820384fe102aa7280210",
      "size": 274826,
      "subdir": "win-64",
      "timestamp": 1781624470696,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313he66ec92_0.conda": {
      "build": "py313he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_0",
        "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": "a24646cd1b7536d136ef6cb7103fa991",
      "name": "z3-solver",
      "sha256": "37a282c3590a0ea367082d54c38d4c6e46e2ce139aa91be53b75d0fe117cb924",
      "size": 280652,
      "subdir": "win-64",
      "timestamp": 1781624481725,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314he66ec92_0.conda": {
      "build": "py314he66ec92_0",
      "build_number": 0,
      "depends": [
        "_openmp_mutex * *_msvc",
        "libz3 4.15.4 he66ec92_0",
        "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": "9386fbca612629697101cd4b7711590e",
      "name": "z3-solver",
      "sha256": "4b62eaaba78c96588967b501eb31d4ed3ddb16fdd43f484504a89ff604b041e5",
      "size": 284035,
      "subdir": "win-64",
      "timestamp": 1781624491659,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h169ad4e_0.conda": {
      "build": "py310h169ad4e_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 he66ec92_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "55fdb3e72c2df6020c960436c524af9e",
      "name": "z3prover",
      "sha256": "91ca3823e7d7fd43f273f10072efb1e716582c708fb12f81f968442ac6386a62",
      "size": 11550,
      "subdir": "win-64",
      "timestamp": 1781624353186,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h169ad4e_0.conda": {
      "build": "py311h169ad4e_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 he66ec92_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "c43c760013d0d665b93cbb16bbb6ad38",
      "name": "z3prover",
      "sha256": "bf9bfc9bb05632a5d7176e074a0f86191242707281962a614f3d1fbcef7436f9",
      "size": 11500,
      "subdir": "win-64",
      "timestamp": 1781624376505,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h169ad4e_0.conda": {
      "build": "py312h169ad4e_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 he66ec92_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "bd465470df5d47bc13d78c0fa7ebf792",
      "name": "z3prover",
      "sha256": "e0f573d02318df2524033023b61b74fe8074d11c2251d61985d47352aa491183",
      "size": 11486,
      "subdir": "win-64",
      "timestamp": 1781624472352,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h169ad4e_0.conda": {
      "build": "py313h169ad4e_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 he66ec92_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "5975ad487d7eccdbcfd80d59504aece8",
      "name": "z3prover",
      "sha256": "d02e64105173844da206e53b7fa9c65bb686ab918a80c22c2127997652360a79",
      "size": 11591,
      "subdir": "win-64",
      "timestamp": 1781624483385,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h169ad4e_0.conda": {
      "build": "py314h169ad4e_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 he66ec92_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "d2299b173a558eceb1f52e734c745b4f",
      "name": "z3prover",
      "sha256": "13767a4706656f00ba5f79d04897f808db0cb87125fb4ddbc8026ff9232bf0f3",
      "size": 11521,
      "subdir": "win-64",
      "timestamp": 1781624493374,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}