{
  "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": "2cf60d3877830d4a8cb8b5d20e0bf5ca",
      "name": "libz3",
      "sha256": "4b7b1a8626d33ef791b68a117958ce51be774b32571c1d5a483eb09d72c7e413",
      "size": 12744931,
      "subdir": "win-64",
      "timestamp": 1786995393221,
      "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": "5882b48464cc7324172d8ef7529d7183",
      "name": "z3-solver",
      "sha256": "b239a3349b101dfb5810a355584699c0fe254673f82a934b4bdacc182b6ea852",
      "size": 237005,
      "subdir": "win-64",
      "timestamp": 1786995538092,
      "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": "b87b69da2f0e3cbc8f601f82e38e675b",
      "name": "z3-solver",
      "sha256": "3eb922d7533222ac1027543bd1146d597ebe205eeb5a92db4cb6f8cf796b6916",
      "size": 308141,
      "subdir": "win-64",
      "timestamp": 1786995377750,
      "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": "83954759e49e68ba95fb2d5aadce60a0",
      "name": "z3-solver",
      "sha256": "738b013c5302ed940abf5dbf6e0b96d7171af7325ad35943bdb8c63c7051ba93",
      "size": 294347,
      "subdir": "win-64",
      "timestamp": 1786995461273,
      "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": "c986cf9d51603a1559b984956e0652d1",
      "name": "z3-solver",
      "sha256": "69bee16f90e126fb32fb60ad330b5f92a80c8c7f36cc06e6d0c69e3f3b90ca25",
      "size": 296140,
      "subdir": "win-64",
      "timestamp": 1786995226216,
      "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": "52b0205a6ae802dab97bdb22bb192b6b",
      "name": "z3-solver",
      "sha256": "fcdb603db46813532f40a0c579edf11104a3c7b39ac9e5d97e4a8a8fd974ae90",
      "size": 298895,
      "subdir": "win-64",
      "timestamp": 1786995441502,
      "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": "2710c861655a656015a8de4f5cf9caf2",
      "name": "z3prover",
      "sha256": "40e04fafe22e37d4dca34492f9264ab325c8e2057c7b5757cc8fbc52f5f4a8af",
      "size": 12134,
      "subdir": "win-64",
      "timestamp": 1786995548092,
      "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": "5fac04d9f8c738c479c14167791681f5",
      "name": "z3prover",
      "sha256": "fef2a47d955d2211c592a0154feb749f7e219e7324762875c36024eb65ecbf0d",
      "size": 12161,
      "subdir": "win-64",
      "timestamp": 1786995387718,
      "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": "01afda453d40aab106b06597ce1b9ef5",
      "name": "z3prover",
      "sha256": "a7ae790a4f41018b9ce326b7d32d43ae19b3fbafbbbfbe290abebd58092c64f8",
      "size": 12132,
      "subdir": "win-64",
      "timestamp": 1786995471156,
      "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": "d299f71c2e429dfe8a690b08422ad024",
      "name": "z3prover",
      "sha256": "f2764e3da029f2c897a5655428d96055b930079004eaffe0d7a54346817357eb",
      "size": 12164,
      "subdir": "win-64",
      "timestamp": 1786995235563,
      "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": "282e6e07222a0427a31e18443e66ecff",
      "name": "z3prover",
      "sha256": "8fbc9fbf4fb2aed7c7908a20f116c25e9d912d0a3f243c9085f30f5da898cd2e",
      "size": 12179,
      "subdir": "win-64",
      "timestamp": 1786995451741,
      "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": "3eedeb306d5e678bd215721f39211a45",
      "name": "libz3",
      "sha256": "dd91767ae7e96257213d020aaf045453d8c1435a386e55f1e159f96625931e34",
      "size": 10634592,
      "subdir": "win-64",
      "timestamp": 1786995393221,
      "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": "c22d9bd204f0f4110068550c5ac3a480",
      "name": "z3-solver",
      "sha256": "083fb44e76bd04488a64c120d157d5f1b9279e5c9421fc6d12d6b94282578156",
      "size": 214790,
      "subdir": "win-64",
      "timestamp": 1786995538092,
      "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": "16f0ce8464cc3a5be516223ff56e0dc7",
      "name": "z3-solver",
      "sha256": "653347c5e84027c79ae06ba46b610edef5595dd5f28a3f3ef132e9ec4b44b799",
      "size": 284585,
      "subdir": "win-64",
      "timestamp": 1786995377750,
      "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": "4280e946cd059121e08aecda67b8cb4f",
      "name": "z3-solver",
      "sha256": "396f9b83d6ef0c08b24488563dc86922a4d79ba71850ea66a273f87bbd5d2d26",
      "size": 272724,
      "subdir": "win-64",
      "timestamp": 1786995461273,
      "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": "9640bcaa3ebc3d731c96dd58efe328e7",
      "name": "z3-solver",
      "sha256": "110bbfba7313487961c2a5dd29b5b7ba2650a258156e7ee90c30698115097bab",
      "size": 282548,
      "subdir": "win-64",
      "timestamp": 1786995226216,
      "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": "19dadcf63ac6b1b204749861cbb4357b",
      "name": "z3-solver",
      "sha256": "a257213fd0ccdf1b77a77297b53e9d2aab468dc7df4263c7a1e249813e1aac14",
      "size": 287705,
      "subdir": "win-64",
      "timestamp": 1786995441502,
      "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": "5be9ca6d38b26c420b3a97a30c32202d",
      "name": "z3prover",
      "sha256": "8323266cf628277c8266a6f2e97db3922e24ecefd91a390b52c290402a2c0bee",
      "size": 12409,
      "subdir": "win-64",
      "timestamp": 1786995548092,
      "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": "98222f21fb35c73ea3bff2b034a8c66d",
      "name": "z3prover",
      "sha256": "239c43a6d6f3d24c71992d36ba07d529b749b33bb48fae689dc3c00105a81e31",
      "size": 12429,
      "subdir": "win-64",
      "timestamp": 1786995387718,
      "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": "dd83080ff7728c117f78aff3ef395f45",
      "name": "z3prover",
      "sha256": "f86ca074ce14bfb6e2491dceecf1038095cd6f641e30425c9d823748ab8c85ec",
      "size": 12415,
      "subdir": "win-64",
      "timestamp": 1786995471156,
      "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": "a023583da654b0c40f4b5b17c97945ba",
      "name": "z3prover",
      "sha256": "aa2054e2ab7782cffc829414a0bbfed0ab14c76f999cb730c39e1139c3bdd7d9",
      "size": 12480,
      "subdir": "win-64",
      "timestamp": 1786995235563,
      "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": "9c415fe9350fe425f18190c51732b8cf",
      "name": "z3prover",
      "sha256": "8f21739d259408439af1f70c5b32118a9316c043eb9213cee6ceaf73e3395316",
      "size": 12492,
      "subdir": "win-64",
      "timestamp": 1786995451741,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}