{
  "info": {
    "subdir": "linux-aarch64"
  },
  "packages": {
    "libz3-4.15.4-h86909b6_0.tar.bz2": {
      "build": "h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "a5ee5dabdc105c008dfe043701a33a46",
      "name": "libz3",
      "sha256": "a7929845f10054a3651a1c3ffcd6b21478ce64b58ee89e2a96664419dc26935f",
      "size": 25490313,
      "subdir": "linux-aarch64",
      "timestamp": 1781623057172,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h86909b6_0.tar.bz2": {
      "build": "py310h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "d6a9a5e7e22806df6905526560ea45ff",
      "name": "z3-solver",
      "sha256": "11134244fbdce5bf0d5362117835f38a24512d30ccdb2f11066bd2f161212cf5",
      "size": 236233,
      "subdir": "linux-aarch64",
      "timestamp": 1781623101674,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h86909b6_0.tar.bz2": {
      "build": "py311h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "1aa828eb113273f66da61826b6793fa6",
      "name": "z3-solver",
      "sha256": "61fec23e881e642bf38ca210a61fabe4e0d2415661c19d9e8d9aff964fc79028",
      "size": 304835,
      "subdir": "linux-aarch64",
      "timestamp": 1781623096282,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h86909b6_0.tar.bz2": {
      "build": "py312h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "cb6b3fd83e4e9f688e20d6a34b7932e1",
      "name": "z3-solver",
      "sha256": "07869a42f880598ef53d3f4d6d46cd48686204546e67d3285233904b9e1ea3cd",
      "size": 295458,
      "subdir": "linux-aarch64",
      "timestamp": 1781623114826,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h86909b6_0.tar.bz2": {
      "build": "py313h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "29618fc584f92585d50a66dd888d87ca",
      "name": "z3-solver",
      "sha256": "1274e7c9d24526ce7e1ff8fbb0a08469621506560bb4af819f806ff83e42393d",
      "size": 296558,
      "subdir": "linux-aarch64",
      "timestamp": 1781623097320,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h86909b6_0.tar.bz2": {
      "build": "py314h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "4ba84dce51fd6839d5ed8618d626c83a",
      "name": "z3-solver",
      "sha256": "5b07d0e9ce75d99da0f0ca960fa45d5beea18620afa0c33bcb13f89e44646ad4",
      "size": 293517,
      "subdir": "linux-aarch64",
      "timestamp": 1781623107240,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hdf96579_0.tar.bz2": {
      "build": "py310hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "d0a6f00dc7fb87a3abb433e0259cd88c",
      "name": "z3prover",
      "sha256": "119044ca4066beccde1ed6159e656ba0116c2ba88d905b33d91bf85f94efc41c",
      "size": 11138,
      "subdir": "linux-aarch64",
      "timestamp": 1781623102370,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hdf96579_0.tar.bz2": {
      "build": "py311hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "492720180464fb41082aad37e31eb843",
      "name": "z3prover",
      "sha256": "9348c60e9183fa79e513a500c9c665b6957daae9e636124d339256c166cd91de",
      "size": 11165,
      "subdir": "linux-aarch64",
      "timestamp": 1781623097140,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hdf96579_0.tar.bz2": {
      "build": "py312hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "341d364864e2a880cfbaec1b64c3edb4",
      "name": "z3prover",
      "sha256": "3225ef74b7b106600a922844ba650fdfa1bb258aa546c2b534173628c5a87835",
      "size": 11152,
      "subdir": "linux-aarch64",
      "timestamp": 1781623115707,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hdf96579_0.tar.bz2": {
      "build": "py313hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "95b6801549213296d7f4b9c2e60bcdc7",
      "name": "z3prover",
      "sha256": "155de26ef5064009a3dc91f59832b6f9d450e5a35324dc64d2eb33934915c8d9",
      "size": 11180,
      "subdir": "linux-aarch64",
      "timestamp": 1781623098208,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hdf96579_0.tar.bz2": {
      "build": "py314hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "5fa1a1bb4bd33b3357407cf3d0886b10",
      "name": "z3prover",
      "sha256": "c0c72e16535ffdf23ba1ec80e300312cde56bea0930a067c41fbb3dee2c37a8d",
      "size": 11170,
      "subdir": "linux-aarch64",
      "timestamp": 1781623108084,
      "version": "4.15.4"
    }
  },
  "packages.conda": {
    "libz3-4.15.4-h86909b6_0.conda": {
      "build": "h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "c5469f5e86f22bfbb816708975df186d",
      "name": "libz3",
      "sha256": "be27e47da6958c61314cbd2d799a1061c0b884400c5a1ac294389a3d95911050",
      "size": 22164724,
      "subdir": "linux-aarch64",
      "timestamp": 1781623057172,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h86909b6_0.conda": {
      "build": "py310h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "581f7f2208ee6ba6898ef8772f5b3481",
      "name": "z3-solver",
      "sha256": "5fc6ac273b0a671e6cf353aaff502388cd194bfb1b1e4da3efce11ebbacaac70",
      "size": 215944,
      "subdir": "linux-aarch64",
      "timestamp": 1781623101674,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h86909b6_0.conda": {
      "build": "py311h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "2d1817990585060475663637ce9156d7",
      "name": "z3-solver",
      "sha256": "78b8559523cc61751b96bd99e08a3904404c6309302391833a0e3780263d8bee",
      "size": 285704,
      "subdir": "linux-aarch64",
      "timestamp": 1781623096282,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h86909b6_0.conda": {
      "build": "py312h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "de4f42c0d2c087252b9794dcdb226000",
      "name": "z3-solver",
      "sha256": "8592083dbbaaacf5c26905e7105b155eb8d2008768c2ac2689718bf7531bd04f",
      "size": 274644,
      "subdir": "linux-aarch64",
      "timestamp": 1781623114826,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h86909b6_0.conda": {
      "build": "py313h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "5aba081c9368a493f98c0e33d06cc878",
      "name": "z3-solver",
      "sha256": "991fab65edc5756fa5338423894f686f1c9fb5eb3d9e7c2bc8d3f904ddacf81e",
      "size": 282285,
      "subdir": "linux-aarch64",
      "timestamp": 1781623097320,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h86909b6_0.conda": {
      "build": "py314h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "79b7ad088f423fe14ca6528ca809acd6",
      "name": "z3-solver",
      "sha256": "e63c9f9290c0377833346faa1ef81ef203758eee3ae053371638ee9da172dc4d",
      "size": 285725,
      "subdir": "linux-aarch64",
      "timestamp": 1781623107240,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hdf96579_0.conda": {
      "build": "py310hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "63d62836f8ebf34b119cc5305a86ddd4",
      "name": "z3prover",
      "sha256": "b74e77ca0b615ec3e027313e4c6c79f501f6b50f743dc7dadf1f864f83e49543",
      "size": 11501,
      "subdir": "linux-aarch64",
      "timestamp": 1781623102370,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hdf96579_0.conda": {
      "build": "py311hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "691ae06851bdc2e6e576d185b47ca78a",
      "name": "z3prover",
      "sha256": "77fdf2e7dff26c99e2df96a3e625a713603245b2c5b029a7b851fa8653bff55a",
      "size": 11500,
      "subdir": "linux-aarch64",
      "timestamp": 1781623097140,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hdf96579_0.conda": {
      "build": "py312hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "9b2fda5f8b243468e0381b93943c8794",
      "name": "z3prover",
      "sha256": "e99501b191857683914fc6c4a7ad5b168a783a6b9d2cc00e8e325cdf92bd1fae",
      "size": 11488,
      "subdir": "linux-aarch64",
      "timestamp": 1781623115707,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hdf96579_0.conda": {
      "build": "py313hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "d618696b87fdfca26e3c8ab265aa3753",
      "name": "z3prover",
      "sha256": "e6f8d5ee741096f7e5ed6a05cc0e88905c20723c5e77e2ff0cc75ac8414f59a2",
      "size": 11525,
      "subdir": "linux-aarch64",
      "timestamp": 1781623098208,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hdf96579_0.conda": {
      "build": "py314hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "83433c37b80c115a4e0bcb55b8d65b81",
      "name": "z3prover",
      "sha256": "f761dee9ebb259eb92fcbadc0e148bbca26748f150da9b3f87798355693a6edf",
      "size": 11515,
      "subdir": "linux-aarch64",
      "timestamp": 1781623108084,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}