{
  "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",
      "license_family": "MIT",
      "md5": "e7cf7fb5c5d353921377dbd935bc82a2",
      "name": "libz3",
      "sha256": "bb80c9a816764219cbb100383d1c4cc0a4d73c41f2dd4248c948d7d101e7ea95",
      "size": 12731917,
      "subdir": "win-64",
      "timestamp": 1786995939479,
      "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",
      "license_family": "MIT",
      "md5": "7146423763ba0f47fa3b7e541bf22ef7",
      "name": "z3-solver",
      "sha256": "4ebc577f41669bc3302319e3836c44f9781970049f5bd5f36cc7e826f6231049",
      "size": 232769,
      "subdir": "win-64",
      "timestamp": 1786995987096,
      "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",
      "license_family": "MIT",
      "md5": "d1dcb1e41cd5f8fe0a306a69b35c3fe4",
      "name": "z3-solver",
      "sha256": "badc502d0deb36325248c6f6af33240d675709d7b0ac00f7736aad9c727eeb31",
      "size": 306573,
      "subdir": "win-64",
      "timestamp": 1786995953360,
      "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",
      "license_family": "MIT",
      "md5": "7946415fc238d3071e327dce83ed4fc6",
      "name": "z3-solver",
      "sha256": "cebb11e764409335877046a660a434ccfd4f2c35cbd752c1ad835204254cfdec",
      "size": 292096,
      "subdir": "win-64",
      "timestamp": 1786995978762,
      "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",
      "license_family": "MIT",
      "md5": "5b73aaa00f99b6fdfbe4d6bb8b99b5c0",
      "name": "z3-solver",
      "sha256": "7f68627097b2c024e294d93c8a8960b98577aac99bd9402280c3538d732c2ae9",
      "size": 286631,
      "subdir": "win-64",
      "timestamp": 1786995961431,
      "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",
      "license_family": "MIT",
      "md5": "c4272404aba3e8734f48611d05ab2737",
      "name": "z3-solver",
      "sha256": "d7b37b2f5c2808b86583684760ac0927d5a45116292130a917df097202be9662",
      "size": 287250,
      "subdir": "win-64",
      "timestamp": 1786995985217,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310haa95532_1.tar.bz2": {
      "build": "py310haa95532_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "0a1f2e85382beccfa43c33dea2d3219c",
      "name": "z3prover",
      "sha256": "9f3d02a7188b33e5638a73c596fb686ff0cf2f98bf76d85dad000cccddcbfabc",
      "size": 12101,
      "subdir": "win-64",
      "timestamp": 1786995996812,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311haa95532_1.tar.bz2": {
      "build": "py311haa95532_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "d57b680762917636c3ba386a330f0a51",
      "name": "z3prover",
      "sha256": "e186a405ea77fe7da4dd198e1ccc7b29248bd65ec4d26b36ff67d3455c711834",
      "size": 12117,
      "subdir": "win-64",
      "timestamp": 1786995963212,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312haa95532_1.tar.bz2": {
      "build": "py312haa95532_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "0a32fc4aa6fce849d2c631693f0e8161",
      "name": "z3prover",
      "sha256": "8f77c75e4a51371b94adcc7c00d52798ef338edb457d0a2c6f61beeff9437618",
      "size": 12087,
      "subdir": "win-64",
      "timestamp": 1786995988349,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313haa95532_1.tar.bz2": {
      "build": "py313haa95532_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "d168d49b88f9246bd5e8a96d487a1d8e",
      "name": "z3prover",
      "sha256": "8b245ea1a1b9d69ad82f4aa2b5aba973a5a1c8f788ee43a7eb97fcc5594e7996",
      "size": 12125,
      "subdir": "win-64",
      "timestamp": 1786995970791,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314haa95532_1.tar.bz2": {
      "build": "py314haa95532_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "bfed5656a4bdaab8c43ccea3781d5324",
      "name": "z3prover",
      "sha256": "b709409d6d9a2b75c05ae5143f6c24bc6b2021a1197479dae65d8b5d9c6d9c7c",
      "size": 12136,
      "subdir": "win-64",
      "timestamp": 1786995994853,
      "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",
      "license_family": "MIT",
      "md5": "c269b48a9c19de84bf4ff6565665866a",
      "name": "libz3",
      "sha256": "c0a01f6dbd69f39d7a285c1e649035d91b28456827a3fa0a6436ab5d83874d8f",
      "size": 10634571,
      "subdir": "win-64",
      "timestamp": 1786995939479,
      "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",
      "license_family": "MIT",
      "md5": "245ad0f29a75e11960d98ad13ebe9c14",
      "name": "z3-solver",
      "sha256": "f2659eceb6e290e48be0eb50a7c3f6d7b903f7796fa69d0df7e5efd754966744",
      "size": 213333,
      "subdir": "win-64",
      "timestamp": 1786995987096,
      "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",
      "license_family": "MIT",
      "md5": "45a2de28ff13866258a86e0c94b1e17c",
      "name": "z3-solver",
      "sha256": "33de26a03c68c0b1e43e37238116a48f8adf0b8a125371e0899f527cbb289744",
      "size": 287431,
      "subdir": "win-64",
      "timestamp": 1786995953360,
      "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",
      "license_family": "MIT",
      "md5": "d5d08c6e9ec0610b8083f3bf3af61ec1",
      "name": "z3-solver",
      "sha256": "e614c75311f75115ee238838ee4f8c956e9222a10900d3ed9c08b721479ddf03",
      "size": 275799,
      "subdir": "win-64",
      "timestamp": 1786995978762,
      "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",
      "license_family": "MIT",
      "md5": "c0386eef6e7596ac34278c03e959c5f3",
      "name": "z3-solver",
      "sha256": "cd1c4c768562769424cf8ea6124629dd703a42fe03e65354c9a55abcd8884577",
      "size": 285427,
      "subdir": "win-64",
      "timestamp": 1786995961431,
      "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",
      "license_family": "MIT",
      "md5": "fc3569244ec9b6948bb40b16a40435a6",
      "name": "z3-solver",
      "sha256": "8e3e26c648b43461b91749ee43944d23b17f25b9f2345d3b3a0d0be70ea0f147",
      "size": 287483,
      "subdir": "win-64",
      "timestamp": 1786995985217,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310haa95532_1.conda": {
      "build": "py310haa95532_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "0a516b2189cd7df5c6546455e50b4294",
      "name": "z3prover",
      "sha256": "e5f880bc11a61a598dc85f08f83d54019ab4c21defac0aff5c42378404fc4d1f",
      "size": 12372,
      "subdir": "win-64",
      "timestamp": 1786995996812,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311haa95532_1.conda": {
      "build": "py311haa95532_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "e9877148b949b92eacb035a4b076e383",
      "name": "z3prover",
      "sha256": "c50d486d30f621449a03c29ec4cc53d86405e737dacd554f9cafac509c03de67",
      "size": 12316,
      "subdir": "win-64",
      "timestamp": 1786995963212,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312haa95532_1.conda": {
      "build": "py312haa95532_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "ef53b567a023b0a022beab4385cb7a46",
      "name": "z3prover",
      "sha256": "da3053f4a9849eb4c88be53809327482726291481f6a8a1e2ff9cf832267aad0",
      "size": 12422,
      "subdir": "win-64",
      "timestamp": 1786995988349,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313haa95532_1.conda": {
      "build": "py313haa95532_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "d66ccc0cb5c5a3e611b300dee14ffac9",
      "name": "z3prover",
      "sha256": "0bb1a2b6ccff7378caec8c821bd12ed89d8794947a94a674a05c1501886e26a1",
      "size": 12386,
      "subdir": "win-64",
      "timestamp": 1786995970791,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314haa95532_1.conda": {
      "build": "py314haa95532_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 he66ec92_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "93e4f0c62bd2f17be3d546454f3acf43",
      "name": "z3prover",
      "sha256": "f7b16d4134359693154e62bd75a9a8ba1c6ff0f29d9d8e3102f69b8f27e3ee4d",
      "size": 12416,
      "subdir": "win-64",
      "timestamp": 1786995994853,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}