{
  "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": "190e9fcf817e394e69f4851884cd607a",
      "name": "libz3",
      "sha256": "8a30ea4139cdb8eeb3395a70e56b7c533ef4fa2bd08263810da7c0d5b2f3b62c",
      "size": 17288806,
      "subdir": "osx-arm64",
      "timestamp": 1781622815957,
      "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": "8b8464d617d248a95d9860a7b4963b19",
      "name": "z3-solver",
      "sha256": "d134445bb9dd6646902d81967819ad809fdc43accc22c568cecde1b22b8859d9",
      "size": 236542,
      "subdir": "osx-arm64",
      "timestamp": 1781622864484,
      "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": "b27e13887332ed257251598434055d4a",
      "name": "z3-solver",
      "sha256": "5aeffe7842e116961c63b7ce39fb1d7d1c1f013822cd7f6400c02901fd7e6902",
      "size": 294304,
      "subdir": "osx-arm64",
      "timestamp": 1781622856374,
      "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": "f7ae8c2120744e689c3547ae9e19f4a6",
      "name": "z3-solver",
      "sha256": "6254d9b04a7e2e5a3d9c959b61533a9f3dd029be4adc85c03ea35fd16972d34f",
      "size": 290834,
      "subdir": "osx-arm64",
      "timestamp": 1781622857700,
      "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": "64d16b84c9c155eb8561e6c42825c9f7",
      "name": "z3-solver",
      "sha256": "d137984a5215372b84dd003869f277eaa0c0b0e440acfec19e8f264a75030ae3",
      "size": 293128,
      "subdir": "osx-arm64",
      "timestamp": 1781622864201,
      "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": "3020cf3358ccea2c379d8a17f977a304",
      "name": "z3-solver",
      "sha256": "0ac7729e74c2df1aa140b1a3150fd1b22c7109acde0e09772361d04936c798c7",
      "size": 293110,
      "subdir": "osx-arm64",
      "timestamp": 1781622861443,
      "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": "b3fcca362a9e9ff1ef48348d1e4c8749",
      "name": "z3prover",
      "sha256": "2391519577d936a236443dc30cebd3250c304efec6b3337742c2ac71cc08f22e",
      "size": 11182,
      "subdir": "osx-arm64",
      "timestamp": 1781622865397,
      "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": "9b83ed995d8826b90cc04b847cd3d265",
      "name": "z3prover",
      "sha256": "6d915e65e8ae2e087b9d759af94c34cac7acb96c04856ae7c3e2dc1b41dc4568",
      "size": 11166,
      "subdir": "osx-arm64",
      "timestamp": 1781622857308,
      "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": "cf0a8b6f1b4f8286d52538fd5f092390",
      "name": "z3prover",
      "sha256": "cc7de56d0799116331dc0c0195db7a49130ca2213d2cd2088697823d64ee304c",
      "size": 11165,
      "subdir": "osx-arm64",
      "timestamp": 1781622858603,
      "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": "d80d9894706c21cc19a6acd74eac6c27",
      "name": "z3prover",
      "sha256": "101cc0081abfbdc3bf8e5b69b4d5ad31c92a64b4e79839b918dc56a3c5f478d8",
      "size": 11226,
      "subdir": "osx-arm64",
      "timestamp": 1781622865111,
      "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": "4731a652bc294ed9f416fe9be4d652b1",
      "name": "z3prover",
      "sha256": "9bfea1d48344e1c11677378fa2f9b4348e96b187d0ba7c2234297810be1e9bd1",
      "size": 11201,
      "subdir": "osx-arm64",
      "timestamp": 1781622862422,
      "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": "8f72a3b635986a00cd01d31e5040ac28",
      "name": "libz3",
      "sha256": "781fd635e2971ba2760e38e52bd144036d3eab65d884a86554dcaa6b598c32ba",
      "size": 13869995,
      "subdir": "osx-arm64",
      "timestamp": 1781622815957,
      "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": "43a76548a7b000f0e5c60a3ff3ac69a2",
      "name": "z3-solver",
      "sha256": "c2450687a055964b9a23b35992e8d5a108a0e16fb4af035bdd2417bed68f6d61",
      "size": 214661,
      "subdir": "osx-arm64",
      "timestamp": 1781622864484,
      "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": "ee78e39eafb4499390fca0f023ffa78a",
      "name": "z3-solver",
      "sha256": "b5b2e6fa87bf1709f592983ba53acbdbfe2d225cace14a0235d5f23117deb922",
      "size": 282258,
      "subdir": "osx-arm64",
      "timestamp": 1781622856374,
      "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": "ddac9e59897efb637267638a85665f9b",
      "name": "z3-solver",
      "sha256": "aefbbd6e5c5a0764b09566bd5760d9371e1352034d98990e9db469a4eab8fa85",
      "size": 272307,
      "subdir": "osx-arm64",
      "timestamp": 1781622857700,
      "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": "7eceec10f0d0bc61c9046ea8f3db7e01",
      "name": "z3-solver",
      "sha256": "742d5f646ab21eb54110bc31806608b5a72c76c2b431f41e2a7802ba2b018e83",
      "size": 283015,
      "subdir": "osx-arm64",
      "timestamp": 1781622864201,
      "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": "620b5459e285c4d88777f1c378994a36",
      "name": "z3-solver",
      "sha256": "eee579fc548dae7b390bb8f80a5a30dfa1b1f81fb5825ac46c483f567d239ac3",
      "size": 283809,
      "subdir": "osx-arm64",
      "timestamp": 1781622861443,
      "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": "f2b227359ce73c4e5935019f27388f76",
      "name": "z3prover",
      "sha256": "adc391a2ab58495fd5b65b7cf303ddac5d24ced0bdb28dd33298d23e6060ae2d",
      "size": 11582,
      "subdir": "osx-arm64",
      "timestamp": 1781622865397,
      "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": "995a1b1176e6ca3ebf7910ac9d98b853",
      "name": "z3prover",
      "sha256": "6786fc6a26842742594dd093d7e27d5b778e7f3759a5410bd2c73a1b68d4c66c",
      "size": 11563,
      "subdir": "osx-arm64",
      "timestamp": 1781622857308,
      "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": "dd649cda213c6a1a14c33aea04f06a25",
      "name": "z3prover",
      "sha256": "7f86b5063438d0ec47ab566c1cb408ef9dde06495ea5fa8e8319fc94330eb9bd",
      "size": 11537,
      "subdir": "osx-arm64",
      "timestamp": 1781622858603,
      "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": "d1dc6d1bc0d69985a2b87294c6d8b19c",
      "name": "z3prover",
      "sha256": "5f65f58cd1c895a5df9f1b4b6d1cbc49e0ea1a9bc2a0b77cf638b177e26be13d",
      "size": 11607,
      "subdir": "osx-arm64",
      "timestamp": 1781622865111,
      "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": "b58fdfae96c69eb7d80a187cea633603",
      "name": "z3prover",
      "sha256": "e80bf91edc72f436a9c118901d9b5c80289fefe524ab5fd389c4b92fb791f7f6",
      "size": 11616,
      "subdir": "osx-arm64",
      "timestamp": 1781622862422,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}