{
  "info": {
    "subdir": "linux-64"
  },
  "packages": {
    "libz3-4.15.4-h24d9097_1.tar.bz2": {
      "build": "h24d9097_1",
      "build_number": 1,
      "constrains": [
        "z3prover ==4.15.4"
      ],
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "b4ec09b7469b672ac0ae31a90c8b685c",
      "name": "libz3",
      "sha256": "41e525f6ac08da18e0b17df06fac433ffaa7996055e77a668e24fc84ee3e7f6e",
      "size": 23562602,
      "subdir": "linux-64",
      "timestamp": 1786995764071,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h24d9097_1.tar.bz2": {
      "build": "py310h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "654ab94d54407ac5747a75a9ef824fc6",
      "name": "z3-solver",
      "sha256": "3cd8a0f42023b5c157d82ec860528a1fe44939b1aa4cad99965f41149015a1e1",
      "size": 226149,
      "subdir": "linux-64",
      "timestamp": 1786995683255,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h24d9097_1.tar.bz2": {
      "build": "py311h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "e373ff5b4bdb26b612ab6b01f10b34f1",
      "name": "z3-solver",
      "sha256": "adc4f7e9be7473f83d2b379df91e8040396a9fcbaa27b3358759a79d527b9230",
      "size": 297405,
      "subdir": "linux-64",
      "timestamp": 1786995656076,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h24d9097_1.tar.bz2": {
      "build": "py312h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "5947fc192f0f62ae8496c1d447f1e43c",
      "name": "z3-solver",
      "sha256": "59adc109e505f19ac3a40b41a7daa8f92fb352cbc7d2401ec00fee3b8e45c8f3",
      "size": 290945,
      "subdir": "linux-64",
      "timestamp": 1786995721514,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h24d9097_1.tar.bz2": {
      "build": "py313h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "2e031a3c7e213fcf31b4c7e0f7156f42",
      "name": "z3-solver",
      "sha256": "96c5afb5af7b20796b81fa2307935965f83f30ea61b57643f5548068ba75be56",
      "size": 285631,
      "subdir": "linux-64",
      "timestamp": 1786995770966,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h24d9097_1.tar.bz2": {
      "build": "py314h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "ac36b417282c0d07f17047b6c457790a",
      "name": "z3-solver",
      "sha256": "e887ca1f4cdfc63a77698e6936132de5ae88cf8b72ceed8a88fc90c117f907c8",
      "size": 294518,
      "subdir": "linux-64",
      "timestamp": 1786995808749,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h06a4308_1.tar.bz2": {
      "build": "py310h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "d2d51229a953eb81210dd5a32a5cbe0e",
      "name": "z3prover",
      "sha256": "7c3a0d2d3873c7d7841c008108bbb1aab121fea121f810a59e5ba994b2366cbe",
      "size": 12289,
      "subdir": "linux-64",
      "timestamp": 1786995686599,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h06a4308_1.tar.bz2": {
      "build": "py311h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "4b18865142d32a079937d01d135d2daf",
      "name": "z3prover",
      "sha256": "61cf7916dbb30f9b6c225db869cb468c463a5c682c22ab31856de07fc652f143",
      "size": 12296,
      "subdir": "linux-64",
      "timestamp": 1786995659548,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h06a4308_1.tar.bz2": {
      "build": "py312h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "5c617450f889f2ebd3c87ec2b9963ade",
      "name": "z3prover",
      "sha256": "d228cf4de51a190ac5d3a12a1c62cf31305284b70a2aaf72d3712e9a604c96c1",
      "size": 12275,
      "subdir": "linux-64",
      "timestamp": 1786995724935,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h06a4308_1.tar.bz2": {
      "build": "py313h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "d8a768e0f12899544da56d4e67d27bf5",
      "name": "z3prover",
      "sha256": "4d01539135b58c4e992117d99900399e964975a68fb35388ef59596588ec54c4",
      "size": 12328,
      "subdir": "linux-64",
      "timestamp": 1786995774414,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h06a4308_1.tar.bz2": {
      "build": "py314h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "c6de92fe0afaa36ca57758ea3d640c5a",
      "name": "z3prover",
      "sha256": "bfd5729bdeb68b104df80454ad4c02faaf85ffe78b6b8bb994055fbf786fe2ca",
      "size": 12340,
      "subdir": "linux-64",
      "timestamp": 1786995812515,
      "version": "4.15.4"
    }
  },
  "packages.conda": {
    "libz3-4.15.4-h24d9097_1.conda": {
      "build": "h24d9097_1",
      "build_number": 1,
      "constrains": [
        "z3prover ==4.15.4"
      ],
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "58ba2adaf4287dae6b29ecf1c12c5446",
      "name": "libz3",
      "sha256": "39c14707f6b3bceae0b185a622d6d92b1cc9d408cb5875f6331a2ad0e989abb7",
      "size": 20558107,
      "subdir": "linux-64",
      "timestamp": 1786995764071,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h24d9097_1.conda": {
      "build": "py310h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "1c10a3a4753e22f8eff2480ec5bd2d69",
      "name": "z3-solver",
      "sha256": "61b5f9f3957ecf43a27e29bd3f01bb6d48f4494e5dc5b7156ab2cfe8bb160136",
      "size": 213736,
      "subdir": "linux-64",
      "timestamp": 1786995683255,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h24d9097_1.conda": {
      "build": "py311h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "76ea2f3673221b83f1bf253f72618786",
      "name": "z3-solver",
      "sha256": "04942e4146ef816cec4c5bad06a7e538e969206d5922a2316c6ce5a5e1c6d48a",
      "size": 286748,
      "subdir": "linux-64",
      "timestamp": 1786995656076,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h24d9097_1.conda": {
      "build": "py312h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "17023ad9c781b7a27bc6a97ca4700452",
      "name": "z3-solver",
      "sha256": "433b2734ef21f4af4de72ad420164855ca99574fe60b8e79e81415743ebf0c39",
      "size": 275565,
      "subdir": "linux-64",
      "timestamp": 1786995721514,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h24d9097_1.conda": {
      "build": "py313h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "4e9dee7903f8ff5bc0ad707ce115df58",
      "name": "z3-solver",
      "sha256": "d5a28590a51a48ade9f0db643df5f9169f1e90934fe6a93e0144758b48b67d3e",
      "size": 282616,
      "subdir": "linux-64",
      "timestamp": 1786995770966,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h24d9097_1.conda": {
      "build": "py314h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "d94f0213fbe0f5b3fb2897cfab366f9a",
      "name": "z3-solver",
      "sha256": "e51997b03a7ee0ed4d3a629a751ea2fdc5ca565a9492ac2fc93948072e82fd3d",
      "size": 287545,
      "subdir": "linux-64",
      "timestamp": 1786995808749,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h06a4308_1.conda": {
      "build": "py310h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "762f7f82dba758ea0b7f76f3bac4a6fc",
      "name": "z3prover",
      "sha256": "f2fd48b7f36655afcc9d8504952e75c48eb94b93a80f370431e23d0950462233",
      "size": 12497,
      "subdir": "linux-64",
      "timestamp": 1786995686599,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h06a4308_1.conda": {
      "build": "py311h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "bc96abe1b133ac1d9f81b574f33010a2",
      "name": "z3prover",
      "sha256": "e2d48f7d523ae83c441d237c5bad31297d4a5bc58e19858d6dca0837f85d198e",
      "size": 12485,
      "subdir": "linux-64",
      "timestamp": 1786995659548,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h06a4308_1.conda": {
      "build": "py312h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "e9ae51a1a7122090b25a3b42e2b8a589",
      "name": "z3prover",
      "sha256": "60480ca68c471199cf8ed2ed04ed3bf901be491e97db2fe218468488207697da",
      "size": 12461,
      "subdir": "linux-64",
      "timestamp": 1786995724935,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h06a4308_1.conda": {
      "build": "py313h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "0c96acaef7dd8a8071fca480303e2f1e",
      "name": "z3prover",
      "sha256": "aa6337989495fecea593c6c24c7369098801f0c62d4c300a1641f3dc2b2f3fbc",
      "size": 12556,
      "subdir": "linux-64",
      "timestamp": 1786995774414,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h06a4308_1.conda": {
      "build": "py314h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "5d84de5beda5c1d03cc3b02022928c36",
      "name": "z3prover",
      "sha256": "0b9e10cd9627624dfefb09cf177eda0ac90f9404bb3fb627fdd10f5cc784f16d",
      "size": 12505,
      "subdir": "linux-64",
      "timestamp": 1786995812515,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}