{
  "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": "b75ca9323b0a1276becff53e06e4ff3f",
      "name": "libz3",
      "sha256": "f80fd5ea8a51d7e2702066778ee1436a2fb4a6b8fba99e29d38e48d7506e6619",
      "size": 25463262,
      "subdir": "linux-aarch64",
      "timestamp": 1781623931446,
      "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": "b3e76f46a8bb3a7fceb28eef63a2057d",
      "name": "z3-solver",
      "sha256": "c0723d9f08bf10c94ecfa441c121f22f8703f1322a8b014b591c013c1f4111dc",
      "size": 233437,
      "subdir": "linux-aarch64",
      "timestamp": 1781624003682,
      "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": "f8fd1ad3d48fd1dccfcd5776f56daba3",
      "name": "z3-solver",
      "sha256": "2bb28af08bcf0e7bbdbbf93ccbfc58d382612f4409b595f1b9ad75f9a00e2214",
      "size": 303640,
      "subdir": "linux-aarch64",
      "timestamp": 1781623983699,
      "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": "719bda810d9b1d8d2a5abfcf99f7008d",
      "name": "z3-solver",
      "sha256": "b126e03b42567b23d6af54dbb030ef5c2e8a651c73165865101aafa154a88a3d",
      "size": 294104,
      "subdir": "linux-aarch64",
      "timestamp": 1781624017027,
      "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": "6713388e22f49dd3953423a261664059",
      "name": "z3-solver",
      "sha256": "83aa919720b24d37151d15f80c8f16ffa18fbc6aae402b601ecbbdfa9ca321b4",
      "size": 291180,
      "subdir": "linux-aarch64",
      "timestamp": 1781624004274,
      "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": "2364f17e9fdbe9e86b91ea9a644fd627",
      "name": "z3-solver",
      "sha256": "9c9823f267d851a8c429bc63e3f9d71c43c9d897932dfb4dbd7450114c1197ef",
      "size": 296437,
      "subdir": "linux-aarch64",
      "timestamp": 1781623976395,
      "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": "d49a6414058ce2c397851386e271ef3c",
      "name": "z3prover",
      "sha256": "8823494fad4b4938baf042dd40b84bb665768192640aa5be0667372c3bf6eb8a",
      "size": 11275,
      "subdir": "linux-aarch64",
      "timestamp": 1781624004367,
      "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": "bbd5d5b76c20380831fb04ec88c095ec",
      "name": "z3prover",
      "sha256": "f6f8e28356e4bf2c5b8c389ed4192a1a89544cb02748257860bd4a87d324d963",
      "size": 11259,
      "subdir": "linux-aarch64",
      "timestamp": 1781623984555,
      "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": "cdcf3887b31218613c173f2f033a16d8",
      "name": "z3prover",
      "sha256": "54ff51d87b81a138930a5b18daa8ee7ad3e8fa25417e08dbfeef0e4cbd7be5b8",
      "size": 11312,
      "subdir": "linux-aarch64",
      "timestamp": 1781624017902,
      "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": "886db131bee572af731096bade197aaf",
      "name": "z3prover",
      "sha256": "70dee272b06574e2acb5e65e491f5f2da1f15076ddd7c13fb1d456e2dbd32012",
      "size": 11311,
      "subdir": "linux-aarch64",
      "timestamp": 1781624005131,
      "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": "acd2423d98d30b7f61ea809d9ff585f7",
      "name": "z3prover",
      "sha256": "80c66e82b67dc7a85ed09a48f318ae56ffc4b2e51ef93e99f56572d446dcf7c4",
      "size": 11331,
      "subdir": "linux-aarch64",
      "timestamp": 1781623977196,
      "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": "97375d884cedae30a0ed27fade096ee3",
      "name": "libz3",
      "sha256": "b314b6ef084bdedda9006cb767b6262534c64c0de5c99b488514e6db4b0696ea",
      "size": 22168496,
      "subdir": "linux-aarch64",
      "timestamp": 1781623931446,
      "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": "2580979ee6129f46f2c67e393be1fe83",
      "name": "z3-solver",
      "sha256": "1ea436817710a5b52ff4eb1abe3709ec8de0c1f91c57af580dcdeb2107914254",
      "size": 216056,
      "subdir": "linux-aarch64",
      "timestamp": 1781624003682,
      "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": "248c697615b2c11526c012ad85c8532d",
      "name": "z3-solver",
      "sha256": "8192898a4af4991b87371a67d951585a01e44851e02477f58af43a72649b500e",
      "size": 282214,
      "subdir": "linux-aarch64",
      "timestamp": 1781623983699,
      "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": "438e374a16bfdc31623f465d090344dd",
      "name": "z3-solver",
      "sha256": "d2058fa5d2c37485c044c5f30f3655bdd0aa571f3313eedb47f2f861955ef315",
      "size": 274647,
      "subdir": "linux-aarch64",
      "timestamp": 1781624017027,
      "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": "e424f744ed1d390a6b404488bc2856d5",
      "name": "z3-solver",
      "sha256": "ab7f1421fe677985354a1964240c1177e27a47b6912f9c8e71f04eea0f9b519e",
      "size": 283654,
      "subdir": "linux-aarch64",
      "timestamp": 1781624004274,
      "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": "1f91392a5b76a200a4974ab8b310910d",
      "name": "z3-solver",
      "sha256": "47ad9258c81686148be4ab27aa2e6bd06a35992ad604d80483b6518f0cf71a54",
      "size": 283525,
      "subdir": "linux-aarch64",
      "timestamp": 1781623976395,
      "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": "8f3c062fa70649875bd93aa54bae189b",
      "name": "z3prover",
      "sha256": "89ff6ee9741dd73ca4a79977341fd716c5e025a68214b3b9594b1eebbe92aa95",
      "size": 11643,
      "subdir": "linux-aarch64",
      "timestamp": 1781624004367,
      "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": "c06e54cc9d62977e3f1dc38b074c42d6",
      "name": "z3prover",
      "sha256": "f2fe954e269e269c7e17bee54cbacaacdc97a466b9c3cdeb6c8a10983b4d71c2",
      "size": 11640,
      "subdir": "linux-aarch64",
      "timestamp": 1781623984555,
      "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": "23ff0c08b1a57f778cd9023af3b11303",
      "name": "z3prover",
      "sha256": "63c56de29382ee88ae6f252b7f2fee7adcb4fac8b5caa9fecdceaf7de276b2ca",
      "size": 11662,
      "subdir": "linux-aarch64",
      "timestamp": 1781624017902,
      "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": "d2c55fb1209c22561c6a1a8e69cf6ba0",
      "name": "z3prover",
      "sha256": "ebbbf3e72c96ef136ec2695a99847f3eedba460bced750c4a597818daab7c40d",
      "size": 11654,
      "subdir": "linux-aarch64",
      "timestamp": 1781624005131,
      "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": "0732a3b320b27c50f3bda1db1b07e404",
      "name": "z3prover",
      "sha256": "5e95f136b0869c8726419a6d1ea9f638ea34e127ec6a6adbbf27caccf854c417",
      "size": 11714,
      "subdir": "linux-aarch64",
      "timestamp": 1781623977196,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}