{
  "info": {
    "subdir": "osx-arm64"
  },
  "packages": {
    "libz3-4.15.4-haeee614_0.tar.bz2": {
      "build": "haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "llvm-openmp >=22.1.2",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "713c28893a6580aacd3d3bfa360b3fc3",
      "name": "libz3",
      "sha256": "3bd10cab7cdeb7cd6f74d939499252fe50aa9192a3e5acbafc23d2f6574db9dc",
      "size": 17331331,
      "subdir": "osx-arm64",
      "timestamp": 1781623707197,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310haeee614_0.tar.bz2": {
      "build": "py310haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_0",
        "llvm-openmp >=22.1.2",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "3c41352b17d98224dc63462e73e55a65",
      "name": "z3-solver",
      "sha256": "a4c75daa8f900a593a4060a08836247ee64fb436ad866bab2a0e566f389fe45e",
      "size": 229021,
      "subdir": "osx-arm64",
      "timestamp": 1781623754194,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311haeee614_0.tar.bz2": {
      "build": "py311haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_0",
        "llvm-openmp >=22.1.2",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "4d85d2c93bfcebe5a3a5c44ccf8cb62c",
      "name": "z3-solver",
      "sha256": "85edb826250599c81ac7e28758ce9cc83f99b096bd01db8286fefd5e7eda5b60",
      "size": 298870,
      "subdir": "osx-arm64",
      "timestamp": 1781623749694,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312haeee614_0.tar.bz2": {
      "build": "py312haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_0",
        "llvm-openmp >=22.1.2",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "ad54884596e3436664473df4ae68dbc3",
      "name": "z3-solver",
      "sha256": "56c290a8dba33fdd6fcd62fdfc9883acc5b7e9a9d1536d51fa85e393b1b088e8",
      "size": 278760,
      "subdir": "osx-arm64",
      "timestamp": 1781623743833,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313haeee614_0.tar.bz2": {
      "build": "py313haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_0",
        "llvm-openmp >=22.1.2",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "05491f7d94ad36de235e03e21f060d10",
      "name": "z3-solver",
      "sha256": "22f2dc264412dedc7703fb0ae6750500e8ce8b8070c7db4a17b37bfbf111e582",
      "size": 294600,
      "subdir": "osx-arm64",
      "timestamp": 1781623749597,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314haeee614_0.tar.bz2": {
      "build": "py314haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_0",
        "llvm-openmp >=22.1.2",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "551d2dd76c0adde668ffb7851c9197ac",
      "name": "z3-solver",
      "sha256": "5a8d0e9369abee250a899051bb106173a0f767f522af94f0a02870dcbaf2740d",
      "size": 287481,
      "subdir": "osx-arm64",
      "timestamp": 1781623751011,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h9f272ee_0.tar.bz2": {
      "build": "py310h9f272ee_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 haeee614_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "02d580f54a70aaa5271b6107c59e723d",
      "name": "z3prover",
      "sha256": "0f96c800b8dc3416970920c9e16a8be64f33dabe6801b191093f077da518202a",
      "size": 11281,
      "subdir": "osx-arm64",
      "timestamp": 1781623755003,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h9f272ee_0.tar.bz2": {
      "build": "py311h9f272ee_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 haeee614_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "43a001ff8c1949983d3f7ca4996f5526",
      "name": "z3prover",
      "sha256": "a92dc6def236fa8b5b55bc54442785b94fb2e629a51398fb2b672e4f3f6412bc",
      "size": 11312,
      "subdir": "osx-arm64",
      "timestamp": 1781623750653,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h9f272ee_0.tar.bz2": {
      "build": "py312h9f272ee_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 haeee614_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "1090712f219805f1add99b870462624c",
      "name": "z3prover",
      "sha256": "d8d22b9c3b820cc16eb2b557f9aeeeb9648d6805476d841e1236df7947615943",
      "size": 11299,
      "subdir": "osx-arm64",
      "timestamp": 1781623744780,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h9f272ee_0.tar.bz2": {
      "build": "py313h9f272ee_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 haeee614_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "a6659eb33c651a0f2ddd86d1fd856ac0",
      "name": "z3prover",
      "sha256": "b5ec0c12c78e80699e4d4f96f302ba10de5c34e7d6807108b1c2b7cc1e454779",
      "size": 11334,
      "subdir": "osx-arm64",
      "timestamp": 1781623750486,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h9f272ee_0.tar.bz2": {
      "build": "py314h9f272ee_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 haeee614_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "71df84db4bdf265c44b112258553ff48",
      "name": "z3prover",
      "sha256": "592d6e0b8dd79052d0a8860a941cf0e3bed2bf027fbad83805b132ef8c102727",
      "size": 11352,
      "subdir": "osx-arm64",
      "timestamp": 1781623751887,
      "version": "4.15.4"
    }
  },
  "packages.conda": {
    "libz3-4.15.4-haeee614_0.conda": {
      "build": "haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "llvm-openmp >=22.1.2",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "29841f010f475e655707204a29909d31",
      "name": "libz3",
      "sha256": "b3c1642bcb903506c421352f4557026524240f546b7149462222a37e784e5070",
      "size": 13869558,
      "subdir": "osx-arm64",
      "timestamp": 1781623707197,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310haeee614_0.conda": {
      "build": "py310haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_0",
        "llvm-openmp >=22.1.2",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "277ca9baa9a25bdf00bafa526dabe0d7",
      "name": "z3-solver",
      "sha256": "7935328c5fa54c7658c0c1091972f3e5b47a51f4f91fc5872e96f148fb3e0332",
      "size": 213030,
      "subdir": "osx-arm64",
      "timestamp": 1781623754194,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311haeee614_0.conda": {
      "build": "py311haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_0",
        "llvm-openmp >=22.1.2",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "f8d8f6d3d6099093bdb99bd70c48596d",
      "name": "z3-solver",
      "sha256": "2e98aebf438c12fdee32eebd5bb29018a64766457e5fa3e229b25d32c99d73b4",
      "size": 282843,
      "subdir": "osx-arm64",
      "timestamp": 1781623749694,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312haeee614_0.conda": {
      "build": "py312haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_0",
        "llvm-openmp >=22.1.2",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "f96b77c658edd588592a587fb05e4d29",
      "name": "z3-solver",
      "sha256": "cbb433213dea67696105c30d79e1b1b480f8fe8728b2d60b701214ab8798ac41",
      "size": 272272,
      "subdir": "osx-arm64",
      "timestamp": 1781623743833,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313haeee614_0.conda": {
      "build": "py313haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_0",
        "llvm-openmp >=22.1.2",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "ddd5771a99e09c3bb51b8c03733b1a58",
      "name": "z3-solver",
      "sha256": "1d4631c34b9ec3dc86b334e332dd004fa96933511cfb44306654c516da847ad4",
      "size": 282519,
      "subdir": "osx-arm64",
      "timestamp": 1781623749597,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314haeee614_0.conda": {
      "build": "py314haeee614_0",
      "build_number": 0,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_0",
        "llvm-openmp >=22.1.2",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "af440e591dabe6b931697f1d17834b5a",
      "name": "z3-solver",
      "sha256": "23a681ec7bb187fa05dd610571a9a6f0e67938c8c46f39a5f89735a88bbc1687",
      "size": 282829,
      "subdir": "osx-arm64",
      "timestamp": 1781623751011,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h9f272ee_0.conda": {
      "build": "py310h9f272ee_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 haeee614_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "10ac43c7a2f3774b6bb40190f932f324",
      "name": "z3prover",
      "sha256": "00e63aa102fa672cc4bd73ce61d4e99f29b57982aae346730cb543e3672f8ae9",
      "size": 11698,
      "subdir": "osx-arm64",
      "timestamp": 1781623755003,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h9f272ee_0.conda": {
      "build": "py311h9f272ee_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 haeee614_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "72406b380424808c3d45feda08ac12d6",
      "name": "z3prover",
      "sha256": "d43ca6d0f68d4326fe57c3e08492d0e976c78004445481455ce6f3a1bef884f2",
      "size": 11751,
      "subdir": "osx-arm64",
      "timestamp": 1781623750653,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h9f272ee_0.conda": {
      "build": "py312h9f272ee_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 haeee614_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "5fab0cd0a1c1e8e4d57d44af9772ae9f",
      "name": "z3prover",
      "sha256": "de674d09b6eff2f1a463a4bc84aef5849accfe94cd621ce8c1098a55956f1312",
      "size": 11709,
      "subdir": "osx-arm64",
      "timestamp": 1781623744780,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h9f272ee_0.conda": {
      "build": "py313h9f272ee_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 haeee614_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "9c690d107066969c6edcf2eba23263a3",
      "name": "z3prover",
      "sha256": "ca445026efa449197aae9d87d9cf0ca2f1ad86520edec57f52b8088fbfef4fb4",
      "size": 11772,
      "subdir": "osx-arm64",
      "timestamp": 1781623750486,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h9f272ee_0.conda": {
      "build": "py314h9f272ee_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 haeee614_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "fa3956a62c2f84c20b399cf4f2937ad3",
      "name": "z3prover",
      "sha256": "341642792269db838d9e272328c0b822d29c5ae1f1a6da5d3df1e8af87619e44",
      "size": 11757,
      "subdir": "osx-arm64",
      "timestamp": 1781623751887,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}