{
  "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": "f55bdd71f75b7dff0bedbcdd9694558c",
      "name": "libz3",
      "sha256": "aa3fcb4a0c6da7523cb38f2bb489011977247f0c080ca7d576c71246e08e6a04",
      "size": 23583418,
      "subdir": "linux-64",
      "timestamp": 1786994876332,
      "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": "033b90d8a4737fa1ba641866e287eeba",
      "name": "z3-solver",
      "sha256": "afd339650648329325843ab69f9992f23b965558e1d15004ee3e0ffffcbebf8b",
      "size": 238905,
      "subdir": "linux-64",
      "timestamp": 1786994910647,
      "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": "1e4783cabbb799ebcc06db5efb968278",
      "name": "z3-solver",
      "sha256": "6aa206a7444b8d3ffa770b9daaab6f10841b8a247e710174463f4e53e96a255c",
      "size": 296705,
      "subdir": "linux-64",
      "timestamp": 1786994860743,
      "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": "dd49b06978ad4819b9e0335007d17a9b",
      "name": "z3-solver",
      "sha256": "ecc7fd20eb6e760970bd3ea4f20e40c74e1cf898df57b5d698cea4c326a6a715",
      "size": 293649,
      "subdir": "linux-64",
      "timestamp": 1786994883638,
      "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": "d773d40b0589ec32b916314d26bd19d1",
      "name": "z3-solver",
      "sha256": "12833db62e4e288a2d8d826c74eb88de575f3e9074c36719c2201c690623a5e1",
      "size": 293708,
      "subdir": "linux-64",
      "timestamp": 1786994971273,
      "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": "0f6620a64ae9cf77a9ccd216d1b3fbfb",
      "name": "z3-solver",
      "sha256": "0daecefb9208d0da03bb312f4faaa872c11f3be08ba9e3c835f0be2c1eff9973",
      "size": 296029,
      "subdir": "linux-64",
      "timestamp": 1786994922129,
      "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": "bcecce1d13fb09c05d54e493c210fec3",
      "name": "z3prover",
      "sha256": "14d210568a5f4aa07079d7a6f1b8868f3329fdf36f9b8fee0dae17115ef5a8ae",
      "size": 12481,
      "subdir": "linux-64",
      "timestamp": 1786994914053,
      "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": "deb978a52f56dac967f7281b822f20db",
      "name": "z3prover",
      "sha256": "75ba75bc90d804820dfaabf008887ea08baaac62f250b8f2b190f08a15d2d6bb",
      "size": 12466,
      "subdir": "linux-64",
      "timestamp": 1786994864398,
      "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": "9fed6189331422761af6613e6b1a8b44",
      "name": "z3prover",
      "sha256": "d746ad258d868357e547ac141d405c33118f89c1db52100e1e721ddfc8d525b9",
      "size": 12442,
      "subdir": "linux-64",
      "timestamp": 1786994887155,
      "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": "9ab9bfdd56174d58e058bbefff22bb0d",
      "name": "z3prover",
      "sha256": "9a4303d824d0c216dc0525ae4c4e82aa2948eb80d6a06527017b5c619fc1498c",
      "size": 12521,
      "subdir": "linux-64",
      "timestamp": 1786994975390,
      "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": "cc87c27a61f399e59f3ea8af667d3592",
      "name": "z3prover",
      "sha256": "3e36b930779d09c01f93766c761f22541a3c9759e28386f5394f77a8e707298f",
      "size": 12533,
      "subdir": "linux-64",
      "timestamp": 1786994926088,
      "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": "04af8973c43c3739d3eb25bd7b2810aa",
      "name": "libz3",
      "sha256": "9e70b1680365caa1986837555aa0e14c522b008e03ab397b84dc8ed253d9ac7a",
      "size": 20552166,
      "subdir": "linux-64",
      "timestamp": 1786994876332,
      "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": "8790adad3e066121701e90d11fa9180e",
      "name": "z3-solver",
      "sha256": "0b9ce8388cf7248882fd25aff436fb140c00ffea328db8fb93076fb1fff6399c",
      "size": 215292,
      "subdir": "linux-64",
      "timestamp": 1786994910647,
      "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": "53be29979624216234db484497e74090",
      "name": "z3-solver",
      "sha256": "d0b9e88b4cbd67a0c3942723241c07078dc6593848db7cd1d6b5ce3111d1538f",
      "size": 283290,
      "subdir": "linux-64",
      "timestamp": 1786994860743,
      "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": "3f44adcf8d356d79cb74e460ee5817a4",
      "name": "z3-solver",
      "sha256": "8092750e7c6807be99d461ce60ace6bcf8c3e72996a1b54c8e1ab0a42f902023",
      "size": 272922,
      "subdir": "linux-64",
      "timestamp": 1786994883638,
      "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": "a5f5ba5429280dda26b01bcc53fd8b4c",
      "name": "z3-solver",
      "sha256": "48e504b64a031bee6734a2900be5efed57ebc9c4d0ed69a3cb20d42caba5e85d",
      "size": 285587,
      "subdir": "linux-64",
      "timestamp": 1786994971273,
      "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": "aecfb35547be04637d639233f9927936",
      "name": "z3-solver",
      "sha256": "bcc16629ed7e0f560749200e6f606368a631e0f36c09f56be81197a7c50fa1ee",
      "size": 285045,
      "subdir": "linux-64",
      "timestamp": 1786994922129,
      "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": "eae572aee4d0bb3b2174fbc546114ca2",
      "name": "z3prover",
      "sha256": "cddc1f9fa8fa976c7dfde6bb91b2ae03328602863f96f8b21cf05cf59d6a586a",
      "size": 12891,
      "subdir": "linux-64",
      "timestamp": 1786994914053,
      "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": "8d86e5cd191a48a6c597dd11edfd4bdb",
      "name": "z3prover",
      "sha256": "29a218fc45323ec8e15ccc26b26587a8cfc01abccdfd8266241dd52ab9a6297f",
      "size": 12931,
      "subdir": "linux-64",
      "timestamp": 1786994864398,
      "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": "455f575fbb5e81db9faf019d52ea209e",
      "name": "z3prover",
      "sha256": "c0dafd4671ac85102652d08c522ebc691cf28a2eefa26592d6a6860c77245e72",
      "size": 12858,
      "subdir": "linux-64",
      "timestamp": 1786994887155,
      "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": "fb0e867c3c7c7fcf37f913552b5c62a0",
      "name": "z3prover",
      "sha256": "16d9652e0ab31e6ee4172ca9d9f12974c88d4e85dd53b624e461a4ee242bb1b6",
      "size": 12931,
      "subdir": "linux-64",
      "timestamp": 1786994975390,
      "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": "dff5c6997980a769875d54e5f381e2e3",
      "name": "z3prover",
      "sha256": "5e530d4241ca64193cc05f8be6b0bd0472efbdb5342f97fc6c2df9563522f3fd",
      "size": 12976,
      "subdir": "linux-64",
      "timestamp": 1786994926088,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}