{
  "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": "52116ee7c4aa27dc88e2d923951a87b2",
      "name": "libz3",
      "sha256": "93431dcbf1f98cad1ae388e49eb66d06eeef068795875b926d3de9887dd24cb1",
      "size": 12743620,
      "subdir": "win-64",
      "timestamp": 1781620647668,
      "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": "2d5087862ea7ea1fc229e1ae862e9e16",
      "name": "z3-solver",
      "sha256": "6b442cc44fef77e0220fe617c34bac30bdf0ca86164262d52fad63e9e4cee86e",
      "size": 234365,
      "subdir": "win-64",
      "timestamp": 1781620733076,
      "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": "2882a3f715636d62c589cb607a31733a",
      "name": "z3-solver",
      "sha256": "fdedb946dfa45578d274c25b3041b485e6640ad6358bc72611c13bb1c4de32c6",
      "size": 306035,
      "subdir": "win-64",
      "timestamp": 1781620720847,
      "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": "c71a37073686f4547ee76e1ad17f7089",
      "name": "z3-solver",
      "sha256": "9cb7ba7f5438ea8e596623d5cdd2d8f94fac227ab7d3cec3a239456ceb3c9655",
      "size": 277153,
      "subdir": "win-64",
      "timestamp": 1781620693025,
      "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": "0aa69c6d271c2041596ee4e7a39e50bf",
      "name": "z3-solver",
      "sha256": "a93081fe383e94799dc45453cc18328c711feae14793300f88bddc9423408e68",
      "size": 292407,
      "subdir": "win-64",
      "timestamp": 1781620730642,
      "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": "4da7c0454513587bfe230e053444ef2a",
      "name": "z3-solver",
      "sha256": "f744e7c84ad0faae6b60823689aff40f9674c9bdfa7571d55491900ecc075f25",
      "size": 296440,
      "subdir": "win-64",
      "timestamp": 1781620687067,
      "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": "0291ceabbe7e1118bd42ff45b7eeab75",
      "name": "z3prover",
      "sha256": "07ecd24d651becfec51909d743b7885c44745a728cdf7bfd519ed30344661779",
      "size": 10754,
      "subdir": "win-64",
      "timestamp": 1781620734608,
      "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": "6fb8edfce7984308ef0ac450e233e131",
      "name": "z3prover",
      "sha256": "1ce776f696fb6ab37be3dbb9ac90eda2541528843db7e55d1ac07ab9c13c2e41",
      "size": 10752,
      "subdir": "win-64",
      "timestamp": 1781620722568,
      "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": "945e0c1fa64ee598edbad9f830d470b1",
      "name": "z3prover",
      "sha256": "ac1af417a013b8f4e5d0663f3c8f38359fd1e122cfd5ef90008c0e576e284670",
      "size": 10756,
      "subdir": "win-64",
      "timestamp": 1781620694658,
      "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": "6801c2101ab61fb8fd105da97db531ac",
      "name": "z3prover",
      "sha256": "3cead86b6ea9c974fc7f291b3f445ec76e26b8909ab80e0063783f74ee07d759",
      "size": 10797,
      "subdir": "win-64",
      "timestamp": 1781620732345,
      "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": "3d3a440f7c447f8f4e84b4aadc22691f",
      "name": "z3prover",
      "sha256": "a926ab30c32c0501a3003eec80f66c1b8c76e4a0da8e9fb80bcfae4015eb680d",
      "size": 10795,
      "subdir": "win-64",
      "timestamp": 1781620688692,
      "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": "32a9f0b37e815bf96c40fa41974be641",
      "name": "libz3",
      "sha256": "156d61449cdc9b3fc445302345f2d4ba23ad1294a2af429ecbc10d18a87c94c0",
      "size": 10643186,
      "subdir": "win-64",
      "timestamp": 1781620647668,
      "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": "ae821b56f6940f97dcf42da56659ba21",
      "name": "z3-solver",
      "sha256": "47e3c96f7aa16db5c945de9c80af1a3421c2849c156ed42615cf2932a3448c3e",
      "size": 215881,
      "subdir": "win-64",
      "timestamp": 1781620733076,
      "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": "77b766c47c4004f2744479d65a6860f3",
      "name": "z3-solver",
      "sha256": "fb943cb8aaa5ec00382ecc6cf9f588c1043ff2b7253cee75d120ce18b13395fb",
      "size": 286082,
      "subdir": "win-64",
      "timestamp": 1781620720847,
      "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": "1e1fa74f36957d3f8130ddbad6d6db79",
      "name": "z3-solver",
      "sha256": "e8362916e04056825db9b1559967de3ebe18f1128eeb6ddd266b12f37cdeaf8e",
      "size": 270983,
      "subdir": "win-64",
      "timestamp": 1781620693025,
      "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": "66e06674243233b4c68b4e3fcab14e2f",
      "name": "z3-solver",
      "sha256": "6918970767e8c1b5c9dba8e84c39d58018eb4d3b76ec6e6e2a19166a77cc8366",
      "size": 284394,
      "subdir": "win-64",
      "timestamp": 1781620730642,
      "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": "33308b0fbf09b3e815c627aaa2155a7d",
      "name": "z3-solver",
      "sha256": "61fe9e497fc110786f256fb4a56663520ba446190e4b9dae5f80b9a2621012fc",
      "size": 283993,
      "subdir": "win-64",
      "timestamp": 1781620687067,
      "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": "261b0a2ed33b9052614bba1add05f466",
      "name": "z3prover",
      "sha256": "252c727e05aad6faf237ae1def021752c49dbc8e090474b3614d448efed54a4c",
      "size": 11171,
      "subdir": "win-64",
      "timestamp": 1781620734608,
      "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": "1973bc49b4f7390aa5002015a1925a81",
      "name": "z3prover",
      "sha256": "a4cb9c2a35dcb7362d3145043a326fc6a482efed8f710f685289dca7b5d5f78b",
      "size": 11162,
      "subdir": "win-64",
      "timestamp": 1781620722568,
      "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": "636d6317049af98775bca6434d6f1e4c",
      "name": "z3prover",
      "sha256": "d56b52d77b6ed9333b6c6c72127ad1efa3b4c60c2bfe8f6df30f85b1fa022a61",
      "size": 11197,
      "subdir": "win-64",
      "timestamp": 1781620694658,
      "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": "e81d86fdb6d8314006753f5f0ca86010",
      "name": "z3prover",
      "sha256": "3ed6a68fa69035e4fd7a9d0fb875da534d1e6cc698ae49e8ec452b4e011a1c87",
      "size": 11183,
      "subdir": "win-64",
      "timestamp": 1781620732345,
      "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": "5dd0a9bc41654f771c2845b4519671af",
      "name": "z3prover",
      "sha256": "fdcb253eee324bf76d8ed7925a1e20008615f4052a621b64e198b7a68d415c1d",
      "size": 11236,
      "subdir": "win-64",
      "timestamp": 1781620688692,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}