{
  "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": "0184b6adc18737b5318129775a7d1e28",
      "name": "libz3",
      "sha256": "832248e7531b437909d413043820ffb2bb0cc4e7f243576d138e841059e64830",
      "size": 12706455,
      "subdir": "win-64",
      "timestamp": 1786995352460,
      "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": "0a6cb5bf4973ed6b01cb4ef06de9b41a",
      "name": "z3-solver",
      "sha256": "b52e15216679951e28be7f7fe3e63e593c4a89450985dc82b0c68cb10c780c84",
      "size": 237274,
      "subdir": "win-64",
      "timestamp": 1786995441632,
      "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": "3bbf0b9fead6db75837a80d6780ae830",
      "name": "z3-solver",
      "sha256": "4d312777ea04597f06665e6baf7d78d62685323215b2a865c65abe9b78b229f8",
      "size": 309411,
      "subdir": "win-64",
      "timestamp": 1786995408500,
      "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": "ddb51cff0eb5f59e2d5bd92b373471c3",
      "name": "z3-solver",
      "sha256": "b0584249172305ffc1bbb27b333764385a65bb87da05d8459313d5d22a07eeb8",
      "size": 287615,
      "subdir": "win-64",
      "timestamp": 1786995114499,
      "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": "603e5ebedc2dac8f4f232bddafe56a3c",
      "name": "z3-solver",
      "sha256": "0357651c64876f41ef003494a276fecdc31be1ba4ad0900cacd74c74f7a2033f",
      "size": 298280,
      "subdir": "win-64",
      "timestamp": 1786995395007,
      "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": "35bef9d0741ace5d667533486b58d9f0",
      "name": "z3-solver",
      "sha256": "eaed514ab57147dae2788becd42ad63b39bc778f49cd29f84c32a14786b05fba",
      "size": 299394,
      "subdir": "win-64",
      "timestamp": 1786995396531,
      "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": "24371f6530353f75d39f41eb42db2a37",
      "name": "z3prover",
      "sha256": "dca4fd7f4213f9e13e7e2e19a3704979ef4453fb412274d45ed1b3b25c98a73b",
      "size": 12158,
      "subdir": "win-64",
      "timestamp": 1786995451871,
      "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": "09e4d393000b51a214e52ff40e361a10",
      "name": "z3prover",
      "sha256": "91b3d2cb21733e5b5546af015bb637fdd679738dd6b69e79a02dcb1607849aef",
      "size": 12123,
      "subdir": "win-64",
      "timestamp": 1786995418532,
      "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": "b392f8fb94221fadcc8f8112e338d6ac",
      "name": "z3prover",
      "sha256": "3a26a1862869d7c8fa9f4b253cb7d5486b84bb0d97c17eaf4a6e334b02a17808",
      "size": 12140,
      "subdir": "win-64",
      "timestamp": 1786995124207,
      "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": "511a0daa784e1441f8e4886b00fa80c0",
      "name": "z3prover",
      "sha256": "bf181d928080af62ad149e4311bf3d7495ca5ac5184aab184364b79dfff8d1ea",
      "size": 12171,
      "subdir": "win-64",
      "timestamp": 1786995405026,
      "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": "bd878f0bd88f68a16d428cfe530aa1c3",
      "name": "z3prover",
      "sha256": "83946216d8d7032d27009a6d3999c807a4e87b03541b7f8d2f9620e0f63fd09d",
      "size": 12151,
      "subdir": "win-64",
      "timestamp": 1786995406113,
      "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": "aa8bcedb4e67e623853d034bf9026a2d",
      "name": "libz3",
      "sha256": "62d1879234d68a1781aa780345d44dca2a0d7cb67968661e41f3cb4977dad4d4",
      "size": 10634400,
      "subdir": "win-64",
      "timestamp": 1786995352460,
      "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": "210ded9d49adbc582d64c6dd7f007830",
      "name": "z3-solver",
      "sha256": "5702a3a2852132e6d6a217add8af6e20f771595631bd731b95d3807325ca28ab",
      "size": 216971,
      "subdir": "win-64",
      "timestamp": 1786995441632,
      "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": "b3b60c5a691f4ab53d4226ded9b410c3",
      "name": "z3-solver",
      "sha256": "44f1fbbc14cb326793e6f0b4549263280f29ddac71b5993a58b51371dc5362b7",
      "size": 287079,
      "subdir": "win-64",
      "timestamp": 1786995408500,
      "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": "d47bc07b69439b56af460cec5a4c5389",
      "name": "z3-solver",
      "sha256": "47bdf854630e4610d2f66e221d5ab3fd2a41be92b70cc341d66a503d8c34b881",
      "size": 275303,
      "subdir": "win-64",
      "timestamp": 1786995114499,
      "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": "cc4bd06026b64a7a50f435f0d7ab1a60",
      "name": "z3-solver",
      "sha256": "674f8b415f21212ad0b9feee0e97a31ef79d263cea11a21937b687e27f6a8fec",
      "size": 282495,
      "subdir": "win-64",
      "timestamp": 1786995395007,
      "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": "608bd44e094fbb71c18fd36bf42c5bd9",
      "name": "z3-solver",
      "sha256": "c8a627f2db9f7a2951539538bfb489742c223809e4f0f5831e556a2eef660de2",
      "size": 284357,
      "subdir": "win-64",
      "timestamp": 1786995396531,
      "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": "db3a01c4db02f5069525337ca639df61",
      "name": "z3prover",
      "sha256": "346eb82a7fe4ed9e43fc218d2324b40211db81b6304d8139db0a09f48f3ee100",
      "size": 12419,
      "subdir": "win-64",
      "timestamp": 1786995451871,
      "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": "e5423d2c2cc937be2179ba331e842293",
      "name": "z3prover",
      "sha256": "adec4a841488199d1e35078ee928706b1a12a147df1771f824e86dd687fd35e2",
      "size": 12457,
      "subdir": "win-64",
      "timestamp": 1786995418532,
      "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": "0459868dd0cfc646278cd62cb362bce0",
      "name": "z3prover",
      "sha256": "8f3e538042b133a401d52a9b155ef040c2bfc43ce203de1f956a327b60417ffb",
      "size": 12429,
      "subdir": "win-64",
      "timestamp": 1786995124207,
      "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": "52bf209e8a65986f5afd9c3dc69b39f9",
      "name": "z3prover",
      "sha256": "8b85d4b02f1919b8f4cf78f9497c9e13748dfcef1ef1d3d3d7ea9092c073869a",
      "size": 12511,
      "subdir": "win-64",
      "timestamp": 1786995405026,
      "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": "b49d1e9e0979caffc0846f89a03e3c51",
      "name": "z3prover",
      "sha256": "b9424c8107f6586f7bde4fbf8a0bbf6aeefebc073daeb3afe1f13a1562265ee8",
      "size": 12431,
      "subdir": "win-64",
      "timestamp": 1786995406113,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}