{
  "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": "0f25587477d81201b8e26830b9a434ce",
      "name": "libz3",
      "sha256": "c6acba9474a83de54a0ad606ead505c1426e3c0cbf3547145102c91cef4cbd3b",
      "size": 25472932,
      "subdir": "linux-aarch64",
      "timestamp": 1786995609664,
      "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": "d398ef93c7d101a9a28522483ff3468a",
      "name": "z3-solver",
      "sha256": "5c4da58c1a2c02b6653e9d91053318870fcd03c8ee28405fae4197586812ce89",
      "size": 235914,
      "subdir": "linux-aarch64",
      "timestamp": 1786995696011,
      "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": "7160e4f6f9fd1291302508a4b1a06427",
      "name": "z3-solver",
      "sha256": "04746026a8f71008ff91ba37dd288c06d5c12c1df7e4c1f1734ca181bccf50c2",
      "size": 307050,
      "subdir": "linux-aarch64",
      "timestamp": 1786995659970,
      "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": "0ac5e3911e53c3e19a6f1056c60fec7b",
      "name": "z3-solver",
      "sha256": "ac43af0da18181c2e00b11bd92d6f9d1cfd8e023580a20ed3fe2db717457a348",
      "size": 292767,
      "subdir": "linux-aarch64",
      "timestamp": 1786995668252,
      "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": "dac800c1fdd1400ea901d66dfd4f01f9",
      "name": "z3-solver",
      "sha256": "19a024aa2860ae8126ba78a00734dc1e414b8657852e4b60ab04191f08241c7f",
      "size": 298175,
      "subdir": "linux-aarch64",
      "timestamp": 1786995686244,
      "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": "51cb88b4700b5c988e2cd9d25567925b",
      "name": "z3-solver",
      "sha256": "188eb6e3cc27650ed499f71bc654972852f652fae9fed419acc8bbacbf2d7bdd",
      "size": 298895,
      "subdir": "linux-aarch64",
      "timestamp": 1786995661746,
      "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": "5fc59c39a7ea2cc3c76df76b65b325ad",
      "name": "z3prover",
      "sha256": "1645c61a7063354a78c16174bf2a155acf58db736627e1e2402933145cc78d09",
      "size": 12263,
      "subdir": "linux-aarch64",
      "timestamp": 1786995699586,
      "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": "97e33179c48de7fb6e87128b588349d6",
      "name": "z3prover",
      "sha256": "0890a8b8a99e2501141c61b60dd9d9c3268acf168117a00f810f75f0824f73ac",
      "size": 12265,
      "subdir": "linux-aarch64",
      "timestamp": 1786995663635,
      "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": "08be4b8f60ed2440d595ee11b95d4b3b",
      "name": "z3prover",
      "sha256": "136e3c7862f2f7415acb1f7f331466409c07bcae11ddd4eaefd7348d13e68fb1",
      "size": 12272,
      "subdir": "linux-aarch64",
      "timestamp": 1786995671959,
      "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": "1c8307bd9e15e96f1d7ab8b390587b41",
      "name": "z3prover",
      "sha256": "36ac6285cd814ba2b4c7f1ed1a95d70f9c5c2c788edb38baa16d81a856772b7f",
      "size": 12280,
      "subdir": "linux-aarch64",
      "timestamp": 1786995690074,
      "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": "fe15d49b9514a327a633c2c4cf032507",
      "name": "z3prover",
      "sha256": "fb57be387938f1e02cf8ddbae8243e48056a7ed4786ff79b56326e4a9c23f66c",
      "size": 12303,
      "subdir": "linux-aarch64",
      "timestamp": 1786995665743,
      "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": "38570be904edcb7ffb62000c8913e8a9",
      "name": "libz3",
      "sha256": "cd7454f51efe964ee4aa6136a2afa4c0f4064a9ab30933b6e25c6d5b6d0e592b",
      "size": 22158996,
      "subdir": "linux-aarch64",
      "timestamp": 1786995609664,
      "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": "7813bb9461c5f2077191df2adc658ddb",
      "name": "z3-solver",
      "sha256": "5860068176a6aadefad6939e26d4297f4c1376f146665ae344d55396634c7c52",
      "size": 216743,
      "subdir": "linux-aarch64",
      "timestamp": 1786995696011,
      "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": "96415b9003b2eb8c53b5565839b838dc",
      "name": "z3-solver",
      "sha256": "d48dc832e0d9debf06d42ce51ce2bbece2e0c7e681ef9878ba211fc5915c675e",
      "size": 287215,
      "subdir": "linux-aarch64",
      "timestamp": 1786995659970,
      "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": "f58e4b7ca29d2af0322c5a8df1f96e86",
      "name": "z3-solver",
      "sha256": "86029f6c917dfa8188df820ad40778a29f9f27972c0cbb2b7ed5142e85f93ef7",
      "size": 272490,
      "subdir": "linux-aarch64",
      "timestamp": 1786995668252,
      "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": "6e235101d40f986552bb0253608811ab",
      "name": "z3-solver",
      "sha256": "a135ff7c1c6cad0546c72de27a2fe6d9dfe6936ac942774edd8005619534bb81",
      "size": 282450,
      "subdir": "linux-aarch64",
      "timestamp": 1786995686244,
      "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": "91de6f2a73f82dda8af829b391e346b5",
      "name": "z3-solver",
      "sha256": "3c90c35df7feaa691b13d5d67f4bb58fcad6e7a41800341ef69855fcd3265034",
      "size": 287039,
      "subdir": "linux-aarch64",
      "timestamp": 1786995661746,
      "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": "e9a0a34122993342f2d19671ee4279ed",
      "name": "z3prover",
      "sha256": "ad590597d0569732628c22b715d6b79e89f21837730ca39a6866d7930c569587",
      "size": 12473,
      "subdir": "linux-aarch64",
      "timestamp": 1786995699586,
      "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": "500529a978b4598030cb3cb864507cb3",
      "name": "z3prover",
      "sha256": "ead44c11a71ea0e79ec6f90113b59d7d93d5342c3e8736ef5f30b462a5657a82",
      "size": 12516,
      "subdir": "linux-aarch64",
      "timestamp": 1786995663635,
      "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": "9a6631072ae46c0888e8243dc94bc257",
      "name": "z3prover",
      "sha256": "1ef99851347e65c71ed54e6ae87b1916603b7930a222bd359eaf2fe0f36caca3",
      "size": 12436,
      "subdir": "linux-aarch64",
      "timestamp": 1786995671959,
      "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": "3d7a6eea5525474f32e1a3a9d2a6b0fb",
      "name": "z3prover",
      "sha256": "527bd16ed918e9eacb67a14080cb911afb789f83538bca1c4e2488483dada750",
      "size": 12462,
      "subdir": "linux-aarch64",
      "timestamp": 1786995690074,
      "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": "7599905717de172e5ce2d424815a3e4a",
      "name": "z3prover",
      "sha256": "d2b1fb877a5823ce0d790dff3b0650e44b00bf4d05cfff01636d70e31be8c22c",
      "size": 12511,
      "subdir": "linux-aarch64",
      "timestamp": 1786995665743,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}