{
  "info": {
    "subdir": "linux-aarch64"
  },
  "packages": {
    "libz3-4.15.4-h86909b6_1.tar.bz2": {
      "build": "h86909b6_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": "a481a29747d9845dc89745c889035265",
      "name": "libz3",
      "sha256": "8d7df253a23734cd6e132ab3b91f93d1ea5a5365cacdcde9352b093125396f67",
      "size": 25484845,
      "subdir": "linux-aarch64",
      "timestamp": 1786994782045,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h86909b6_1.tar.bz2": {
      "build": "py310h86909b6_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "48bb073210c463ad04e0149e35ef7883",
      "name": "z3-solver",
      "sha256": "327158f7484e845d6130e6d1f5d5483d20a089b689437326153d704255932211",
      "size": 222473,
      "subdir": "linux-aarch64",
      "timestamp": 1786994806660,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h86909b6_1.tar.bz2": {
      "build": "py311h86909b6_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "39094caab0cff06d0628e0c7ba07d897",
      "name": "z3-solver",
      "sha256": "9c5ee4fd85abbbbbf99f2090a21f725e9a67f6f6d038e92ece77fb92073102c3",
      "size": 304037,
      "subdir": "linux-aarch64",
      "timestamp": 1786994804602,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h86909b6_1.tar.bz2": {
      "build": "py312h86909b6_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "e68a513a47c24c2b1884ac2494e74e3c",
      "name": "z3-solver",
      "sha256": "5d7839a011958777dca192ffa8feecac8db4b5d5a1027b67047f52e55488f185",
      "size": 291746,
      "subdir": "linux-aarch64",
      "timestamp": 1786994807902,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h86909b6_1.tar.bz2": {
      "build": "py313h86909b6_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "7392980da76dd06bd7c934af8260f0a7",
      "name": "z3-solver",
      "sha256": "a6b7ce249adf6eab36be04e3919df9becad81e2527fd9380feff7fd4ffde41fc",
      "size": 294175,
      "subdir": "linux-aarch64",
      "timestamp": 1786994821166,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h86909b6_1.tar.bz2": {
      "build": "py314h86909b6_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "31fa80fca63c9fc6bf21f50c8e4d72b6",
      "name": "z3-solver",
      "sha256": "5b596cdc0345f14095048319bf14447ac75ed2b122dc0dae61fe953ffba0e223",
      "size": 298516,
      "subdir": "linux-aarch64",
      "timestamp": 1786994840288,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hd43f75c_1.tar.bz2": {
      "build": "py310hd43f75c_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "8b0e75dd9d7f42aa6d156afd3bee70c1",
      "name": "z3prover",
      "sha256": "eab5a1465329bf66be3ecb48a5656c002cb2e0c22a5d1b5bfb91afa0c6554833",
      "size": 12460,
      "subdir": "linux-aarch64",
      "timestamp": 1786994810501,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hd43f75c_1.tar.bz2": {
      "build": "py311hd43f75c_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "8858da516876ac6235b37e3ee40cc20e",
      "name": "z3prover",
      "sha256": "f13a63e09064d87a687ea2eb53dfed03e25b94c4679f1a7fe56bced224268939",
      "size": 12464,
      "subdir": "linux-aarch64",
      "timestamp": 1786994808511,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hd43f75c_1.tar.bz2": {
      "build": "py312hd43f75c_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "23d53cc35ba99af1893f6c2446ec52ab",
      "name": "z3prover",
      "sha256": "eb89189ac14480b317d801634619bdeec81442749d26e70e81d001c227093ebc",
      "size": 12424,
      "subdir": "linux-aarch64",
      "timestamp": 1786994811690,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hd43f75c_1.tar.bz2": {
      "build": "py313hd43f75c_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "c61c917b41bd7c227c7995142c392e38",
      "name": "z3prover",
      "sha256": "d2618917565f24d32ec79d70b8e7eff0c712883853d492e5d4b0de6666eb73e2",
      "size": 12490,
      "subdir": "linux-aarch64",
      "timestamp": 1786994825283,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hd43f75c_1.tar.bz2": {
      "build": "py314hd43f75c_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "536ed51a47baff9eb9fc47b12daba7b0",
      "name": "z3prover",
      "sha256": "c980078f15ebffb8ba05cadb9a710b06ae57d954a1193527ebab7eeb82f9b154",
      "size": 12509,
      "subdir": "linux-aarch64",
      "timestamp": 1786994844710,
      "version": "4.15.4"
    }
  },
  "packages.conda": {
    "libz3-4.15.4-h86909b6_1.conda": {
      "build": "h86909b6_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": "32e9bef22afc7b3d4005e5ea55e04492",
      "name": "libz3",
      "sha256": "eabf24a8a0316107ca6d3cab7b1562626479a5ef12d14a2fc19c102887a3c6c8",
      "size": 22162297,
      "subdir": "linux-aarch64",
      "timestamp": 1786994782045,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h86909b6_1.conda": {
      "build": "py310h86909b6_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "cbc54cdfeec0d018bb460916aa38f3f4",
      "name": "z3-solver",
      "sha256": "1fe10b7d4ddb6cf74ab197cb76523b57296d174d1cf6e019b5c5e221e49b9e8e",
      "size": 216726,
      "subdir": "linux-aarch64",
      "timestamp": 1786994806660,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h86909b6_1.conda": {
      "build": "py311h86909b6_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "2d16aada2e5705f88fe4ec7107ca860c",
      "name": "z3-solver",
      "sha256": "4bb1aca5c832b2dd084072bd8bdaa654a263f17cfe26aff0983eeff2ab279945",
      "size": 284662,
      "subdir": "linux-aarch64",
      "timestamp": 1786994804602,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h86909b6_1.conda": {
      "build": "py312h86909b6_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "04c3de051edd58cbab78b30e9abd4830",
      "name": "z3-solver",
      "sha256": "5fbfc376c8941e83ef9f3927ffbc24b3c5a4d6fd2ad4eb4572a34d74c3d323c5",
      "size": 272260,
      "subdir": "linux-aarch64",
      "timestamp": 1786994807902,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h86909b6_1.conda": {
      "build": "py313h86909b6_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "e6ff43f2b413f6c56d9ea12d88407b62",
      "name": "z3-solver",
      "sha256": "fc7b1c4b0eb2d6b48a0478367bea4f1fd0edbe80a9ec49399fc292a7721bd469",
      "size": 282474,
      "subdir": "linux-aarch64",
      "timestamp": 1786994821166,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h86909b6_1.conda": {
      "build": "py314h86909b6_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "aabe3468d9aac21e403d3498269268ca",
      "name": "z3-solver",
      "sha256": "2f64277d5b00fdd199cde44f06e66d477ad0c1372d2fa9530c4ab608f7d88c80",
      "size": 287362,
      "subdir": "linux-aarch64",
      "timestamp": 1786994840288,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hd43f75c_1.conda": {
      "build": "py310hd43f75c_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "2cf12f4823a2a1ea9654558805f3aac1",
      "name": "z3prover",
      "sha256": "94ca5fc02700a022e3aa4d16b90567bf5c0810f4ff094304053750b2833f3e53",
      "size": 12850,
      "subdir": "linux-aarch64",
      "timestamp": 1786994810501,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hd43f75c_1.conda": {
      "build": "py311hd43f75c_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "56d3a99ba84aebe0cb81ebf159d553b3",
      "name": "z3prover",
      "sha256": "00426849586bb9d686e2d3e22e4613fbcc6f0b7dee2449c74699a46b60228ed9",
      "size": 12878,
      "subdir": "linux-aarch64",
      "timestamp": 1786994808511,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hd43f75c_1.conda": {
      "build": "py312hd43f75c_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "45141a1de4091c16de73b2be82717585",
      "name": "z3prover",
      "sha256": "56121c953a399585d321050a5d8e7175f5b7b9b2231788689425d026dc92b790",
      "size": 12835,
      "subdir": "linux-aarch64",
      "timestamp": 1786994811690,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hd43f75c_1.conda": {
      "build": "py313hd43f75c_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "7083d9fba6c528afa9ad24051d45c439",
      "name": "z3prover",
      "sha256": "f7a43e2dff3fafbfa0dfb7df28cc193dbc6ab5e200871e8c61f9f34a4e17eb82",
      "size": 12921,
      "subdir": "linux-aarch64",
      "timestamp": 1786994825283,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hd43f75c_1.conda": {
      "build": "py314hd43f75c_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "b732cabb6dc639290f5796cae7955cd8",
      "name": "z3prover",
      "sha256": "9f32632e8469a3dde4a1c20d37d42643c84816badfdfb23b243ebd2b8eefbfa1",
      "size": 12935,
      "subdir": "linux-aarch64",
      "timestamp": 1786994844710,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}