{
  "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": "285ff53f52c4f8f08a27d9182d9bcb77",
      "name": "libz3",
      "sha256": "c48d7579762e799a2b1172bf3233d754275a94d436002fc59f189ed9c3fbbaae",
      "size": 12680711,
      "subdir": "win-64",
      "timestamp": 1781623428052,
      "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": "78c5ef293c4182e89d85eed8884490c8",
      "name": "z3-solver",
      "sha256": "7a37f4e22b96857065b592d7710182f0d63833cb5181d9c03b60053ccda33fc6",
      "size": 228748,
      "subdir": "win-64",
      "timestamp": 1781623469467,
      "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": "cf3901ae396c393ad9ebaffe4b428715",
      "name": "z3-solver",
      "sha256": "867155f1b2d2a1e28a33b95c93da86448b6980418d4831d56ae02e131bac441d",
      "size": 306168,
      "subdir": "win-64",
      "timestamp": 1781623473643,
      "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": "42d71bf6fcdfabd0a465f46a662ae3f1",
      "name": "z3-solver",
      "sha256": "60d9b6f51e8fb0fd23f79f84772bbf8310f7224947fb9ead9cdaa34e33521dc4",
      "size": 292236,
      "subdir": "win-64",
      "timestamp": 1781623478254,
      "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": "217bbb2df2683168018bda2d88c54a84",
      "name": "z3-solver",
      "sha256": "6c5faedc76d2964eee5907213bb6ae4a34e923b4128c77d605efa32b49463ceb",
      "size": 295352,
      "subdir": "win-64",
      "timestamp": 1781623500313,
      "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": "40515643674438842503a387724fe025",
      "name": "z3-solver",
      "sha256": "d998d4d5f5c27ba76736096f460c46cd855622ddcb33b396ff801f1cb3f452a3",
      "size": 295260,
      "subdir": "win-64",
      "timestamp": 1781623468213,
      "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": "38a7052064761f5d72b3415e24cdb865",
      "name": "z3prover",
      "sha256": "1cf783172cd299312eb2fa77b4c5155b75282118a00abef522b385d79c9444fb",
      "size": 10972,
      "subdir": "win-64",
      "timestamp": 1781623471040,
      "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": "ba435fbf041fac65b1eaac86d1bf2579",
      "name": "z3prover",
      "sha256": "1ac7740cf6b8c017deacf1d40068ba6de8f1d16bbdd9b6cec9ad2c90e9445966",
      "size": 10972,
      "subdir": "win-64",
      "timestamp": 1781623475337,
      "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": "329defb844e69c32917d60a9c7a6779a",
      "name": "z3prover",
      "sha256": "1ad7b5ea464e5925e1ad5b3b52e0a461d3ada9e167ccbd4bc788eeeca639ff37",
      "size": 10963,
      "subdir": "win-64",
      "timestamp": 1781623479910,
      "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": "0f233b5f3d2974cee268721e374b96b1",
      "name": "z3prover",
      "sha256": "7ff651b3cde2f70368fc674b337528aee6cce18959823f2e9a9b58bfbb3cf41f",
      "size": 11004,
      "subdir": "win-64",
      "timestamp": 1781623501979,
      "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": "63b1da0add72ea58122f6345b5f460be",
      "name": "z3prover",
      "sha256": "6ccc13fb8cddcc14b852fbb18ce87b2e162a0cd8ee4ede104299678d36643d99",
      "size": 10986,
      "subdir": "win-64",
      "timestamp": 1781623469892,
      "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": "6a6194967ac675ff67bd0b8e6924fdcf",
      "name": "libz3",
      "sha256": "e6991114266eb0c1c0c61087483a354c0818131f01b06685c78c3d9693acae9c",
      "size": 10636506,
      "subdir": "win-64",
      "timestamp": 1781623428052,
      "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": "a5ceab202a9213c4246a28abaa5ddb2d",
      "name": "z3-solver",
      "sha256": "135b01d067a6542967935713c765cd419625f75f9fcac3e6345c3ed620402617",
      "size": 213010,
      "subdir": "win-64",
      "timestamp": 1781623469467,
      "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": "b2781dc11cf5216e45402ed334b987ab",
      "name": "z3-solver",
      "sha256": "6f6ffbb3fd6e7c98b16c1a7bfab0b3854a63b0da653ec7ec77c63da01365b6e8",
      "size": 282529,
      "subdir": "win-64",
      "timestamp": 1781623473643,
      "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": "c23da5be97b7d0cec27e0fb8d874b1a2",
      "name": "z3-solver",
      "sha256": "33c1591f81a374abfd06b93f720852f871489c4a41e0bdbc921172431b5d6de5",
      "size": 274815,
      "subdir": "win-64",
      "timestamp": 1781623478254,
      "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": "5ee1ad65155ef685d56d17854f52a772",
      "name": "z3-solver",
      "sha256": "c1ef7a6b0be5933d4a03af87da9b26ecbd5f72c4d09e89ff393730e6b4fef37f",
      "size": 281802,
      "subdir": "win-64",
      "timestamp": 1781623500313,
      "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": "22246b35d75d4bd124fa72093516f7cd",
      "name": "z3-solver",
      "sha256": "871a572c8c4d10e993c31267df0db1602336c1db7750a330e59a7a3a8a78dc2d",
      "size": 285982,
      "subdir": "win-64",
      "timestamp": 1781623468213,
      "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": "83281b1786a13bc04e4ac3d8aba44b7d",
      "name": "z3prover",
      "sha256": "3ad0f03d130acd8d2a84bfbf6026b6ae281debf683385f5bdd19f1d208291801",
      "size": 11388,
      "subdir": "win-64",
      "timestamp": 1781623471040,
      "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": "662c96537baf5a6c5523fb989eae04a6",
      "name": "z3prover",
      "sha256": "f0f25852c205b01674eddce740e0dd6f7789a5249e45f74d6b071bc0d453d85d",
      "size": 11338,
      "subdir": "win-64",
      "timestamp": 1781623475337,
      "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": "0743f6db6447320c73c7d43e61bdd08b",
      "name": "z3prover",
      "sha256": "088c7c6a815642f5f7480b2a95f534a1f322bc9f7066fd9e61936aa6319ba807",
      "size": 11407,
      "subdir": "win-64",
      "timestamp": 1781623479910,
      "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": "2be645c9f0af7a5f1f2e98195858a7ce",
      "name": "z3prover",
      "sha256": "1e9cae44143d0d7744f550c04ad110a5e4512959bb529dda2d2d0cbd1278dc6e",
      "size": 11379,
      "subdir": "win-64",
      "timestamp": 1781623501979,
      "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": "b4963d2300ccc1daa9c749d14df0f7db",
      "name": "z3prover",
      "sha256": "8d336d4dc5f97cdbed3414f8710a339b85584ac3b3a9068b87e6fc93ca887ec2",
      "size": 11370,
      "subdir": "win-64",
      "timestamp": 1781623469892,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}