{
  "info": {
    "subdir": "osx-arm64"
  },
  "packages": {
    "libz3-4.15.4-haeee614_1.tar.bz2": {
      "build": "haeee614_1",
      "build_number": 1,
      "constrains": [
        "z3prover ==4.15.4"
      ],
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "llvm-openmp >=22.1.2"
      ],
      "license": "MIT",
      "md5": "0ccc95ac7e7b3a0fc43360894d7e6540",
      "name": "libz3",
      "sha256": "0ef2da65a42e7c8a97b24fae8afde408cb0c90bad509a0764a5213afe11e65a1",
      "size": 17287764,
      "subdir": "osx-arm64",
      "timestamp": 1786994242364,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310haeee614_1.tar.bz2": {
      "build": "py310haeee614_1",
      "build_number": 1,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_1",
        "llvm-openmp >=22.1.2",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "1bf6a236b63ce67d67f20a55056b4696",
      "name": "z3-solver",
      "sha256": "4324dbcf4e6c1e7c1fa300f5f1cf98858cdfea6352a1da700c1bbd50fcd14524",
      "size": 234987,
      "subdir": "osx-arm64",
      "timestamp": 1786994295862,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311haeee614_1.tar.bz2": {
      "build": "py311haeee614_1",
      "build_number": 1,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_1",
        "llvm-openmp >=22.1.2",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "3c35903f843058e294d0565d839ca13b",
      "name": "z3-solver",
      "sha256": "5aa37c8d818ac39dc6995748b760e37b8a9693551db5ca27b2ba050e2ccdc20c",
      "size": 310306,
      "subdir": "osx-arm64",
      "timestamp": 1786994255057,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312haeee614_1.tar.bz2": {
      "build": "py312haeee614_1",
      "build_number": 1,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_1",
        "llvm-openmp >=22.1.2",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "2e2322b1e2184e78083471f7e727a76f",
      "name": "z3-solver",
      "sha256": "bbd8a8478baffa8617a869bcb9c790e04d6d051e53d01d513da2778219f01132",
      "size": 294584,
      "subdir": "osx-arm64",
      "timestamp": 1786994254210,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313haeee614_1.tar.bz2": {
      "build": "py313haeee614_1",
      "build_number": 1,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_1",
        "llvm-openmp >=22.1.2",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "c637d97cb26f55b920452b47e023fb8f",
      "name": "z3-solver",
      "sha256": "5503184226d881ccd40ef26e31e6ea89aa93e9fac2c8c84fd5089e02a58376f6",
      "size": 284930,
      "subdir": "osx-arm64",
      "timestamp": 1786994279501,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314haeee614_1.tar.bz2": {
      "build": "py314haeee614_1",
      "build_number": 1,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_1",
        "llvm-openmp >=22.1.2",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "9fddb072230214742a0f272762561493",
      "name": "z3-solver",
      "sha256": "fd38103f7156923d58a7e4bbf4e629b13dadd7d9a43f392e5f6502d5490aecbf",
      "size": 296404,
      "subdir": "osx-arm64",
      "timestamp": 1786994284568,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h9f272ee_1.tar.bz2": {
      "build": "py310h9f272ee_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "43a1f8b6ab3e2991eace2a5a824eecdc",
      "name": "z3prover",
      "sha256": "7fcbb1d158e150433dbfa49baf724eee8e4b55f67a308842b63aa992c59079b5",
      "size": 11602,
      "subdir": "osx-arm64",
      "timestamp": 1786994296756,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h9f272ee_1.tar.bz2": {
      "build": "py311h9f272ee_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "4b0f9455b384dee1edee686e9e06ae88",
      "name": "z3prover",
      "sha256": "6abd5e8102a2c0ac9bc25323bb276bcfe3652035162957dd5fa4a8608c5b1437",
      "size": 11602,
      "subdir": "osx-arm64",
      "timestamp": 1786994256144,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h9f272ee_1.tar.bz2": {
      "build": "py312h9f272ee_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "c35bcb0123cfdf68d9ae9fc0bb1e982b",
      "name": "z3prover",
      "sha256": "96b57ec430455ebf49d502db74000cb39222a8302b2cca58ceb83f29d596643f",
      "size": 11627,
      "subdir": "osx-arm64",
      "timestamp": 1786994255225,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h9f272ee_1.tar.bz2": {
      "build": "py313h9f272ee_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "d7d76b8a7937655f44ee764ffa4d7a4d",
      "name": "z3prover",
      "sha256": "d16a071324859b9ee9120caddf2df09d474fa932216ebd25bc607fc1e66e2563",
      "size": 11654,
      "subdir": "osx-arm64",
      "timestamp": 1786994280484,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h9f272ee_1.tar.bz2": {
      "build": "py314h9f272ee_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "2b5227b88fd9f02be6b3ae1cfef68673",
      "name": "z3prover",
      "sha256": "aeb8f2a8075260d9e21c8f3af417147dcdc176ca63439c8c8f7995afb4c8ae09",
      "size": 11629,
      "subdir": "osx-arm64",
      "timestamp": 1786994285570,
      "version": "4.15.4"
    }
  },
  "packages.conda": {
    "libz3-4.15.4-haeee614_1.conda": {
      "build": "haeee614_1",
      "build_number": 1,
      "constrains": [
        "z3prover ==4.15.4"
      ],
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "llvm-openmp >=22.1.2"
      ],
      "license": "MIT",
      "md5": "7966495b64ed4002c6fc2f1109bcd611",
      "name": "libz3",
      "sha256": "b41b56f1b4e1a7f61a6175ba58374478e6b3fb8f8d91a4cf96dd942d32cd8de3",
      "size": 13872754,
      "subdir": "osx-arm64",
      "timestamp": 1786994242364,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310haeee614_1.conda": {
      "build": "py310haeee614_1",
      "build_number": 1,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_1",
        "llvm-openmp >=22.1.2",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "344c3af8ce61d96063fd807d2e5d3d3a",
      "name": "z3-solver",
      "sha256": "d086dc8dfc13a0492aef80f633d236782023a188e27913dc80a9ab48f7f2f181",
      "size": 216867,
      "subdir": "osx-arm64",
      "timestamp": 1786994295862,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311haeee614_1.conda": {
      "build": "py311haeee614_1",
      "build_number": 1,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_1",
        "llvm-openmp >=22.1.2",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "991388b6c49100302f28aa97cdedc31a",
      "name": "z3-solver",
      "sha256": "358f3e6c3a8623d488f109f9d5a1937b28b6ab3b113e2423ecf97d883d04af35",
      "size": 287025,
      "subdir": "osx-arm64",
      "timestamp": 1786994255057,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312haeee614_1.conda": {
      "build": "py312haeee614_1",
      "build_number": 1,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_1",
        "llvm-openmp >=22.1.2",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "706716dc6eec3c674598408c5bcd8733",
      "name": "z3-solver",
      "sha256": "337176bca8c5c9fdcf6fdee1b8fb20a7c181f7b567ad7ad3424f7c0986d748e6",
      "size": 273013,
      "subdir": "osx-arm64",
      "timestamp": 1786994254210,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313haeee614_1.conda": {
      "build": "py313haeee614_1",
      "build_number": 1,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_1",
        "llvm-openmp >=22.1.2",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "2b109970545dd44230daa79554c46d99",
      "name": "z3-solver",
      "sha256": "ba2afe7af51c35e91b831c4e2c3ebc118567c3d8eb2221d84e580272d799789d",
      "size": 281847,
      "subdir": "osx-arm64",
      "timestamp": 1786994279501,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314haeee614_1.conda": {
      "build": "py314haeee614_1",
      "build_number": 1,
      "depends": [
        "__osx >=12.1",
        "_openmp_mutex * *_llvm",
        "libcxx >=20",
        "libz3 4.15.4 haeee614_1",
        "llvm-openmp >=22.1.2",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "bbd17f221f466e0cc717bd092e4e7064",
      "name": "z3-solver",
      "sha256": "bcd8b9a7923d2d3581a4f9d0a34711b0f8221861a420c792a93a33c84f4cb46c",
      "size": 283902,
      "subdir": "osx-arm64",
      "timestamp": 1786994284568,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h9f272ee_1.conda": {
      "build": "py310h9f272ee_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "018aaf7142dfd10768a3dc9d53b6390e",
      "name": "z3prover",
      "sha256": "e09069fa9414f6958cb4b809cae1a2bd0d9dc5a4a598c81fdad1579ade704ba0",
      "size": 11972,
      "subdir": "osx-arm64",
      "timestamp": 1786994296756,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h9f272ee_1.conda": {
      "build": "py311h9f272ee_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "de37b0d521b23876d143ec97b68dd9e0",
      "name": "z3prover",
      "sha256": "7504cacc406f058a32c7bb15430b9b5c3ba9ace7e3a41d61f28b1164ad6902c8",
      "size": 12002,
      "subdir": "osx-arm64",
      "timestamp": 1786994256144,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h9f272ee_1.conda": {
      "build": "py312h9f272ee_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "f569e62680c8401b71ef1bb2f93c6d14",
      "name": "z3prover",
      "sha256": "69a360d7f1ea04c61e7a4045156046b096c4462ce1acac72e8ca8e6756e63157",
      "size": 12001,
      "subdir": "osx-arm64",
      "timestamp": 1786994255225,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h9f272ee_1.conda": {
      "build": "py313h9f272ee_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "96a0cf2064d6d87b579928a175da4a65",
      "name": "z3prover",
      "sha256": "dae51e6f3fcc71bfc6787465915ae967d93c2195215f9b578427e81524e79e42",
      "size": 12011,
      "subdir": "osx-arm64",
      "timestamp": 1786994280484,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h9f272ee_1.conda": {
      "build": "py314h9f272ee_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "8c1265a6c3951cd2a2934e98144d8d5d",
      "name": "z3prover",
      "sha256": "ef440079952dbb01fce3b964c64af02b692edb73987ee39048c9e6505148be3e",
      "size": 11956,
      "subdir": "osx-arm64",
      "timestamp": 1786994285570,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}