{
  "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",
      "license_family": "MIT",
      "md5": "8df6fc03284244cc6de875dd07817521",
      "name": "libz3",
      "sha256": "36991491f185e958fa95703c7264d2fbf56033502294ee5d1a4583ec838d7fe1",
      "size": 17292591,
      "subdir": "osx-arm64",
      "timestamp": 1786995260284,
      "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",
      "license_family": "MIT",
      "md5": "ea361a7ff2e6da670fda9b00df954b68",
      "name": "z3-solver",
      "sha256": "a20d765cf9b3eea1f33cff616a79b84d6f61c082ee11a9f72f6c76d55d029444",
      "size": 236676,
      "subdir": "osx-arm64",
      "timestamp": 1786995296865,
      "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",
      "license_family": "MIT",
      "md5": "49c76084ea4fbb154a43bcdca82601e2",
      "name": "z3-solver",
      "sha256": "5a23ccffbe223695dcbd79b8137032cc2572022415c5c7d39a1e4b35f438ff74",
      "size": 299296,
      "subdir": "osx-arm64",
      "timestamp": 1786995304291,
      "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",
      "license_family": "MIT",
      "md5": "b7baadcc830540015c32bed1f2b57658",
      "name": "z3-solver",
      "sha256": "fe34ae54d3c37dc855581789851249ffe428c8d1c91ab3c41fc2ba07218a62d9",
      "size": 296141,
      "subdir": "osx-arm64",
      "timestamp": 1786995299333,
      "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",
      "license_family": "MIT",
      "md5": "d92823cc27f0468822fab9aad10559ae",
      "name": "z3-solver",
      "sha256": "a088ea2e2c92a2ef13346b27f99ce87c382cab30b4efecf2cd4ea35772f57b1f",
      "size": 295162,
      "subdir": "osx-arm64",
      "timestamp": 1786995300774,
      "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",
      "license_family": "MIT",
      "md5": "d9cf7192a41095ada7ce2f66b75d7ff7",
      "name": "z3-solver",
      "sha256": "f9c026f01caf824d271574db10373d64cea117df5eb2edf0c5f4ce6181471fb3",
      "size": 295917,
      "subdir": "osx-arm64",
      "timestamp": 1786995297309,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hca03da5_1.tar.bz2": {
      "build": "py310hca03da5_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "c864fb9d0ed5cfbd08e12731e05999cc",
      "name": "z3prover",
      "sha256": "0440ec66f191151ac67ae06f28e42c468ae31557b6eabf70c3bb348db3355b4f",
      "size": 12248,
      "subdir": "osx-arm64",
      "timestamp": 1786995302065,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hca03da5_1.tar.bz2": {
      "build": "py311hca03da5_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "eff84c03844cf5d4dc1fd25c6aea6e46",
      "name": "z3prover",
      "sha256": "af0250a633df076720f2bddaa7eb8ce6b42140013503071c67a1151b32c3c708",
      "size": 12266,
      "subdir": "osx-arm64",
      "timestamp": 1786995309915,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hca03da5_1.tar.bz2": {
      "build": "py312hca03da5_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "cd90094309c65b40547a2322e57cb5c1",
      "name": "z3prover",
      "sha256": "2792b7cfeb2b478c96f8bca98da369f6b074a1c5ae5307f18fc0391c014dbbd6",
      "size": 12268,
      "subdir": "osx-arm64",
      "timestamp": 1786995304519,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hca03da5_1.tar.bz2": {
      "build": "py313hca03da5_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "b929af1fde66f53f6489604b24262015",
      "name": "z3prover",
      "sha256": "f71fe63b18f546ecd7793a648948c5f4e96a012d6530879d781b9d1dcb9b2fec",
      "size": 12278,
      "subdir": "osx-arm64",
      "timestamp": 1786995305816,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hca03da5_1.tar.bz2": {
      "build": "py314hca03da5_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "217bd025c349df8a0c0410e011fa0b35",
      "name": "z3prover",
      "sha256": "8a8f55bf99c86af350ec10a5d14fbaac2a07bcfcdedd9b5fea6cb8255206582a",
      "size": 12273,
      "subdir": "osx-arm64",
      "timestamp": 1786995302412,
      "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",
      "license_family": "MIT",
      "md5": "129b498e965b045ae6dd0cb48cba8ddc",
      "name": "libz3",
      "sha256": "5fdcb7c33b631c487e55f6260ba1c8c49c4ac0ec2373b1df2708340739402e17",
      "size": 13870696,
      "subdir": "osx-arm64",
      "timestamp": 1786995260284,
      "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",
      "license_family": "MIT",
      "md5": "49a54509263b284072836a0440ef5366",
      "name": "z3-solver",
      "sha256": "ce4f13a1ca9d36e44b050169e711325808076260dd232cc971ba7cc780aaf482",
      "size": 216710,
      "subdir": "osx-arm64",
      "timestamp": 1786995296865,
      "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",
      "license_family": "MIT",
      "md5": "43a1ddc212b975cafd9a26eecb58755c",
      "name": "z3-solver",
      "sha256": "dd3b038a4a7e3cb89f6f261f4bfb406ba90cffa7a86f672bca0cbe80edb98911",
      "size": 283379,
      "subdir": "osx-arm64",
      "timestamp": 1786995304291,
      "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",
      "license_family": "MIT",
      "md5": "246a1b60fc9341e8aa560330df252c03",
      "name": "z3-solver",
      "sha256": "702b9786ff42160844eb5c25f1ea702d0c606efddc6acae318ec81c4646f4c25",
      "size": 276069,
      "subdir": "osx-arm64",
      "timestamp": 1786995299333,
      "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",
      "license_family": "MIT",
      "md5": "f2111cc5ce6d0e8f150cb67d2f4b992d",
      "name": "z3-solver",
      "sha256": "1407243801b4d2f4a3dc1520b27d141b7ef656489d0d5fab373b13e57920951b",
      "size": 285066,
      "subdir": "osx-arm64",
      "timestamp": 1786995300774,
      "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",
      "license_family": "MIT",
      "md5": "b26b43f106a407c210979df44b009cf3",
      "name": "z3-solver",
      "sha256": "895b64255fb2d87eb0f6897d654de3355d1afe5d90d63f92c14e9b1be6dea29e",
      "size": 284143,
      "subdir": "osx-arm64",
      "timestamp": 1786995297309,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hca03da5_1.conda": {
      "build": "py310hca03da5_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "e3334b03a95f2c6503ceab79529ed455",
      "name": "z3prover",
      "sha256": "bea525f267f88450d6a56977fd52413c31435e4534e1017a98d543dd55f29d61",
      "size": 12591,
      "subdir": "osx-arm64",
      "timestamp": 1786995302065,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hca03da5_1.conda": {
      "build": "py311hca03da5_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "eb74367b430e2ac7e5b9c564be6571a4",
      "name": "z3prover",
      "sha256": "e8629b1f1d19ece8a98fe2bb6b269470da73caa835440ee1bda6253eee181323",
      "size": 12601,
      "subdir": "osx-arm64",
      "timestamp": 1786995309915,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hca03da5_1.conda": {
      "build": "py312hca03da5_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "3bc4df4543d90db8dfa21932d81441b6",
      "name": "z3prover",
      "sha256": "0e159ad665ab737411afce19070acece32d4c70540cebe1b0686e40cefe91586",
      "size": 12567,
      "subdir": "osx-arm64",
      "timestamp": 1786995304519,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hca03da5_1.conda": {
      "build": "py313hca03da5_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "8e3ccbb474ae3071af194b9d8e15e5c7",
      "name": "z3prover",
      "sha256": "9390dd85bf9b3995aac11508e3a1c85e62a52ce77ce0185d8b2d1944bcbcb0b1",
      "size": 12602,
      "subdir": "osx-arm64",
      "timestamp": 1786995305816,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hca03da5_1.conda": {
      "build": "py314hca03da5_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 haeee614_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "600d6960d3f543209baf071f60989944",
      "name": "z3prover",
      "sha256": "942aea5758301435fa1772ec9e2c964fce555c1bdfa15931085c3a35a8ce866c",
      "size": 12562,
      "subdir": "osx-arm64",
      "timestamp": 1786995302412,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}