{
  "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",
      "md5": "7548b5a5ad483c1fc4e75f04e1b6fc16",
      "name": "libz3",
      "sha256": "1e6d6b622ed2532d12bea6deca978f707af363ebdbfec46b476e3f1e82643002",
      "size": 25473844,
      "subdir": "linux-aarch64",
      "timestamp": 1786993608262,
      "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",
      "md5": "f43f128fa4928abb2780c831aa6a6315",
      "name": "z3-solver",
      "sha256": "c55369bd535a85caa740953f1c7dca7fa34e1a3b0e43ecad75288e7a46a6210d",
      "size": 237263,
      "subdir": "linux-aarch64",
      "timestamp": 1786993656373,
      "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",
      "md5": "079dd25e3b624e2d3bdac0cb297129aa",
      "name": "z3-solver",
      "sha256": "38ad2c973cce782db94fb04946c1ebdaf253a4b1d07de1bc8803bc7cf0524f72",
      "size": 308039,
      "subdir": "linux-aarch64",
      "timestamp": 1786993510988,
      "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",
      "md5": "559effc773a451206147f66786763b1e",
      "name": "z3-solver",
      "sha256": "f1738cfa62f4c479241551d0abfce8913c0701ddd8c36ddb8f8020b0e463de0c",
      "size": 294909,
      "subdir": "linux-aarch64",
      "timestamp": 1786993656603,
      "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",
      "md5": "ae4bda7f2d5edd197150d1faf8fcf817",
      "name": "z3-solver",
      "sha256": "e27fabf0ca0dbcf5bd4751a019f69378dbf47f141d9c4d4f0e42c65b9d268a26",
      "size": 291359,
      "subdir": "linux-aarch64",
      "timestamp": 1786993680954,
      "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",
      "md5": "ccd155b34b7bd17bd7dfe53d9a6fe376",
      "name": "z3-solver",
      "sha256": "ed6eebabc73df8e1e47a5bee0cf9a6bf2d5aed87452b4b706c13e27639001885",
      "size": 297708,
      "subdir": "linux-aarch64",
      "timestamp": 1786993663106,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hdf96579_1.tar.bz2": {
      "build": "py310hdf96579_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "e17b1d939505d96c59dad7ce7dae1126",
      "name": "z3prover",
      "sha256": "7b2228a1b74845dfb6268ac7d610a53515e7a8733375a456365496be7611244d",
      "size": 11600,
      "subdir": "linux-aarch64",
      "timestamp": 1786993657124,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hdf96579_1.tar.bz2": {
      "build": "py311hdf96579_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "e211c092c4a51baf3e0ac87bf17ac31c",
      "name": "z3prover",
      "sha256": "67472c0184f84c503e051d849b5481fd7a4b64771842fb55706dbc27d7c78d17",
      "size": 11607,
      "subdir": "linux-aarch64",
      "timestamp": 1786993511866,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hdf96579_1.tar.bz2": {
      "build": "py312hdf96579_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "02d47e96f8581ca952e5c35828dbcdda",
      "name": "z3prover",
      "sha256": "d20ad049dea9a2b000012b3f45214de8e16b50a620ab097aa155997bbd98a1cc",
      "size": 11586,
      "subdir": "linux-aarch64",
      "timestamp": 1786993657528,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hdf96579_1.tar.bz2": {
      "build": "py313hdf96579_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "e851fab0388ac3ab271ccbbede9e4c5f",
      "name": "z3prover",
      "sha256": "171a18c579076bc48051044df4422d7708e305b9e6b1f9aceecf726b1dc78062",
      "size": 11617,
      "subdir": "linux-aarch64",
      "timestamp": 1786993681857,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hdf96579_1.tar.bz2": {
      "build": "py314hdf96579_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "c65120cb278395209742ffc6326da652",
      "name": "z3prover",
      "sha256": "d25d973ad6c24b0d6d16f101a96c006b34e84e0d670d462d8a9ff83ec5d26dd7",
      "size": 11617,
      "subdir": "linux-aarch64",
      "timestamp": 1786993663999,
      "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",
      "md5": "30fb6e980ebd63c4c4fff0e9e0df87fa",
      "name": "libz3",
      "sha256": "5afd7176e5e19078fd9dfd74a957f81b15636607154e1ce6889b2dc32909f851",
      "size": 22154551,
      "subdir": "linux-aarch64",
      "timestamp": 1786993608262,
      "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",
      "md5": "69b959889c94d9923ef73abb578410b1",
      "name": "z3-solver",
      "sha256": "0194a1721bab1f093c02e229c6ebe5fcdbdafcfb298cabeed391aae9d85fdfb4",
      "size": 215719,
      "subdir": "linux-aarch64",
      "timestamp": 1786993656373,
      "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",
      "md5": "15ac5965d79c6a601f0224e00c324fc9",
      "name": "z3-solver",
      "sha256": "5536fe85f8001fca475527c7831e4cc843fb5dbfbf5ca4bc0afb32cec5677cdd",
      "size": 282607,
      "subdir": "linux-aarch64",
      "timestamp": 1786993510988,
      "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",
      "md5": "50f578917b6aec6a3b0df57ea06efe9d",
      "name": "z3-solver",
      "sha256": "331e16cfd045111ca4e2f14fd279d72a2c1e171e210c4a02d2395dc30575813f",
      "size": 274438,
      "subdir": "linux-aarch64",
      "timestamp": 1786993656603,
      "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",
      "md5": "8f25287596ac1df80bb8294dea661f99",
      "name": "z3-solver",
      "sha256": "fb76c0c8a93d3e0fb9ae61d7e5cc64bac612e9c5da499c9cb6b04a8f02c47db6",
      "size": 282311,
      "subdir": "linux-aarch64",
      "timestamp": 1786993680954,
      "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",
      "md5": "95cd2474f4ab024c8a62d1d6af4e68e6",
      "name": "z3-solver",
      "sha256": "cd482728be4fc94dc8bf9d79c9058cc41374a6b436966ae99f3f74a31d7ea3d0",
      "size": 283553,
      "subdir": "linux-aarch64",
      "timestamp": 1786993663106,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hdf96579_1.conda": {
      "build": "py310hdf96579_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "b60b411e54457337e71901b4ea2f612a",
      "name": "z3prover",
      "sha256": "855f879fc2d84e08f373f4c564efae8d0fbc8a09fe3740719d706eb73f8891fd",
      "size": 11896,
      "subdir": "linux-aarch64",
      "timestamp": 1786993657124,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hdf96579_1.conda": {
      "build": "py311hdf96579_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "c199de029efeeab76809e0603ad1b212",
      "name": "z3prover",
      "sha256": "d151a31b9fe87b0f162cbc2a1162f7c86d37f99768cccf554fc5575b25f61015",
      "size": 11939,
      "subdir": "linux-aarch64",
      "timestamp": 1786993511866,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hdf96579_1.conda": {
      "build": "py312hdf96579_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "7ae907a38ba9331d1d08d2ee11332d50",
      "name": "z3prover",
      "sha256": "a664f9696768f7979cffb01722a5c6b5b3f47bface74f2490af12583c3046b86",
      "size": 11878,
      "subdir": "linux-aarch64",
      "timestamp": 1786993657528,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hdf96579_1.conda": {
      "build": "py313hdf96579_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "1f3cd922d9d923a1852dae0a5632b40e",
      "name": "z3prover",
      "sha256": "1b827a6798a06436c634853d295336011dcb0623c98f8b684dc753f7834909c8",
      "size": 11937,
      "subdir": "linux-aarch64",
      "timestamp": 1786993681857,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hdf96579_1.conda": {
      "build": "py314hdf96579_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h86909b6_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "5f2ecb8a86b78b66754c20506821b9bf",
      "name": "z3prover",
      "sha256": "8dee5d3cc7cb96339231c8679a75d4dafa70757742c0aea7f85c9440b8da97ca",
      "size": 11922,
      "subdir": "linux-aarch64",
      "timestamp": 1786993663999,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}