{
  "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": "725e5d8d565b7c9c021e09f21a6440af",
      "name": "libz3",
      "sha256": "cf7751bef40c57c2cb6744177561156cecb06679af7e5e75f6d29b8ed4acdb08",
      "size": 25501680,
      "subdir": "linux-aarch64",
      "timestamp": 1786994731324,
      "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": "d36ea564c2cfa24fe0c53c1abe4f0efa",
      "name": "z3-solver",
      "sha256": "d4158d37207433ad7452022f070bb536dea721b72456da81e62053c292272431",
      "size": 221832,
      "subdir": "linux-aarch64",
      "timestamp": 1786994773940,
      "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": "5e7532efccbf6de21d02fdce97d4c5c1",
      "name": "z3-solver",
      "sha256": "d590d350c2fe04809e717494d1f6124e424bd63478258457bfd764df9036108f",
      "size": 311328,
      "subdir": "linux-aarch64",
      "timestamp": 1786994795075,
      "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": "ce128849ff4765490d7d46849890e03b",
      "name": "z3-solver",
      "sha256": "1f12a5d2af15ae596338d8a32014a14e4e49f81e73f389e9a30225ab75bbb8cd",
      "size": 281262,
      "subdir": "linux-aarch64",
      "timestamp": 1786994805140,
      "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": "a465d0f48ea792134d94bd19061e0148",
      "name": "z3-solver",
      "sha256": "8c6240935562fda6af2c0c3d2faf77df2a6d258f2691e8d97542f127ac99eb07",
      "size": 292628,
      "subdir": "linux-aarch64",
      "timestamp": 1786994800553,
      "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": "d77ec6b77617885f751748d4ad08211a",
      "name": "z3-solver",
      "sha256": "429c4eaa858c40cbdfd824556e0fe2b8af20be5a56b13b773cb41755a73928f0",
      "size": 299065,
      "subdir": "linux-aarch64",
      "timestamp": 1786994778658,
      "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": "abab8836fe3903fbbfe3ac142ca2d2fd",
      "name": "z3prover",
      "sha256": "00887be204d81ceaacad4c0f2d69f3d3add01df60acc4da6e16de8ccab98f3b6",
      "size": 12311,
      "subdir": "linux-aarch64",
      "timestamp": 1786994777222,
      "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": "14d953a083c3aa1fbe977d0b26debe91",
      "name": "z3prover",
      "sha256": "a84a6c65c8e9186df41eef0b9c691e3dcbc105fca1e72e76f549135705d9717d",
      "size": 12299,
      "subdir": "linux-aarch64",
      "timestamp": 1786994798686,
      "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": "618ca0f6f0f479a3bbbb96b2c64ebfb4",
      "name": "z3prover",
      "sha256": "abf8c4018e5ddac938488e85378760e438b06beb39574fab60a32950c4253dec",
      "size": 12282,
      "subdir": "linux-aarch64",
      "timestamp": 1786994808890,
      "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": "e0842a6a190a0c8709bab6c82b6f1f36",
      "name": "z3prover",
      "sha256": "ac0f13cd115447021c7fd84517312837a096bfd5b50b977290a54041ecd20858",
      "size": 12343,
      "subdir": "linux-aarch64",
      "timestamp": 1786994804528,
      "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": "1025cc979346af1558ecaf063b55a539",
      "name": "z3prover",
      "sha256": "77bd192798bde5e8d292fc68338e2f496bb6cf0078cb9f2352525360089fb93c",
      "size": 12339,
      "subdir": "linux-aarch64",
      "timestamp": 1786994782486,
      "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": "db7993abf1dda8119ef2fc9037b8fda7",
      "name": "libz3",
      "sha256": "96e98a5a119914ae8c6d930a1c5784c0359e15270efc28896eccbf3af8bb3f41",
      "size": 22156379,
      "subdir": "linux-aarch64",
      "timestamp": 1786994731324,
      "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": "e8e22dd13011fafad15461d97f7215a4",
      "name": "z3-solver",
      "sha256": "a9882dda776433c63022f7acca95b1ef817ceedbde6c125a5cf0cd08a5704b56",
      "size": 214479,
      "subdir": "linux-aarch64",
      "timestamp": 1786994773940,
      "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": "4e872a0b61a07b789cee6c83a4c9deaf",
      "name": "z3-solver",
      "sha256": "9cbee0c7c5c5dc20f8435042986297f9a7d4e0678600076303515fd7362990a8",
      "size": 286600,
      "subdir": "linux-aarch64",
      "timestamp": 1786994795075,
      "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": "ffbb2d7762948f699fbcc1ebaa7f0f74",
      "name": "z3-solver",
      "sha256": "29e98dc03f98fe6d93d6579e1382f5a70a96f8f16c597aca1a6ea8181d18e850",
      "size": 272857,
      "subdir": "linux-aarch64",
      "timestamp": 1786994805140,
      "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": "baaf292ea9dc4f87e3167dbcb3e23151",
      "name": "z3-solver",
      "sha256": "1bbd3ec03317181d3b404283d223d4f801983d539fe0083f4b721a548abc57c5",
      "size": 285764,
      "subdir": "linux-aarch64",
      "timestamp": 1786994800553,
      "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": "4e04826e53371a5b873a807a27bd2a3a",
      "name": "z3-solver",
      "sha256": "ec982880004c47460e520b48a1e85eae2376dda7607a3a13676b321fe08d339c",
      "size": 287636,
      "subdir": "linux-aarch64",
      "timestamp": 1786994778658,
      "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": "3007b7891429931c44be97150cf36800",
      "name": "z3prover",
      "sha256": "4362ee9ba166e071200a40d6fe754ebee53e3e8d7d947956872a90616b22573e",
      "size": 12578,
      "subdir": "linux-aarch64",
      "timestamp": 1786994777222,
      "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": "6fb6f25aafe0892ef9875548f3e7d111",
      "name": "z3prover",
      "sha256": "27d0cb3d425b1f9bf0aee227488e88adb6dac9d1563a08ff24352aecb2b3458b",
      "size": 12542,
      "subdir": "linux-aarch64",
      "timestamp": 1786994798686,
      "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": "c5815bab6db69366596c4c1a93a02742",
      "name": "z3prover",
      "sha256": "7c99d89f4efa1189cca7cd9215e814d4426103632d9fe6979a8022a084986464",
      "size": 12579,
      "subdir": "linux-aarch64",
      "timestamp": 1786994808890,
      "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": "a9b08f7693c03176420697ab144aba59",
      "name": "z3prover",
      "sha256": "8e5ec0a7ce5707456ebecbd0ff23b9f771a20c174ced2714c9fa816e96c6376e",
      "size": 12548,
      "subdir": "linux-aarch64",
      "timestamp": 1786994804528,
      "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": "1379d55e9f673bfedad2c777e48ef802",
      "name": "z3prover",
      "sha256": "8d9f62932a43e1300c3f42b256a6f4f80224b77c34ae06659aff8a56ad3dc902",
      "size": 12572,
      "subdir": "linux-aarch64",
      "timestamp": 1786994782486,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}