{
  "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": "2c517414e234b34625e6acdf22db71fe",
      "name": "libz3",
      "sha256": "14f77eb548ee4ef911998cf518b7176f390d41fcaa32717c856f163fb1484e49",
      "size": 17336496,
      "subdir": "osx-arm64",
      "timestamp": 1786994371602,
      "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": "8b77c80998e6e8a934d7a16b213d79a6",
      "name": "z3-solver",
      "sha256": "283572718cebb2df33df5ab036f3e37da3e35fae4fa5abcb42f8e79977e482ed",
      "size": 229608,
      "subdir": "osx-arm64",
      "timestamp": 1786994409618,
      "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": "0bba8491aaf0d50088c1ceb4304c0359",
      "name": "z3-solver",
      "sha256": "04c74a22229a976f1a72901bb049b35b1dac9a7535b4633828ec64bd16212669",
      "size": 306683,
      "subdir": "osx-arm64",
      "timestamp": 1786994413553,
      "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": "c4c43fa61f3264e6a0ac76bd201325ba",
      "name": "z3-solver",
      "sha256": "0bcb1665baefa3da8d37d9b4fa05e6ead0dfa24c8df9e8210466b0a2193952fe",
      "size": 291206,
      "subdir": "osx-arm64",
      "timestamp": 1786994532458,
      "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": "fc2ee90dc9260c013cea12a641f5ad93",
      "name": "z3-solver",
      "sha256": "65fd5f85f36abd79e70e4aabf741c038070514fa80b0a61263d0a8f20f008e3c",
      "size": 294440,
      "subdir": "osx-arm64",
      "timestamp": 1786994437813,
      "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": "c190f1dcb3edb7219f8709a2665a1635",
      "name": "z3-solver",
      "sha256": "951cded6367db9dc1d0692d33a24341ac052d7bcc43bc0f7c514547aebab9f64",
      "size": 296064,
      "subdir": "osx-arm64",
      "timestamp": 1786994408348,
      "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": "4f76ff7008bae4116703bc49e9d56361",
      "name": "z3prover",
      "sha256": "febdf41f3fe6760ffd8dcf8a811eae7c99fcdba5bd882f75076059e53b7f41bb",
      "size": 12298,
      "subdir": "osx-arm64",
      "timestamp": 1786994414791,
      "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": "68328376a4426ca5d3e8ea8e18b2d60c",
      "name": "z3prover",
      "sha256": "c52e8adc0324548b5d3256e60d5f6817ed6eaef390ac9b2a4b0f7536999087cb",
      "size": 12313,
      "subdir": "osx-arm64",
      "timestamp": 1786994418775,
      "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": "b77fc5da29ea462636132959db9e944b",
      "name": "z3prover",
      "sha256": "5048a978186dd931552b0135273e808582bd760d685b2e52cdc7d0620f44266a",
      "size": 12312,
      "subdir": "osx-arm64",
      "timestamp": 1786994537529,
      "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": "f0ee076802e73fd7af912fb319c19f85",
      "name": "z3prover",
      "sha256": "15b336c54e7e97eafd6753bcab63cbe01e3aee41d5dcec6205cf1e0746b41df2",
      "size": 12352,
      "subdir": "osx-arm64",
      "timestamp": 1786994443024,
      "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": "93b1d3ca6657b0b44017cb5525e968f7",
      "name": "z3prover",
      "sha256": "031ba45476d351f4d9ff28233167261e847044806e3b928364ecc34b4c513f44",
      "size": 12337,
      "subdir": "osx-arm64",
      "timestamp": 1786994413566,
      "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": "849d8206cce4312381f83b391af59e27",
      "name": "libz3",
      "sha256": "9fe216b64793cecc180cab100dd98625407fc22b5af409175221554be91a3ddf",
      "size": 13870133,
      "subdir": "osx-arm64",
      "timestamp": 1786994371602,
      "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": "472503c213e4dc56e20812514b1cae93",
      "name": "z3-solver",
      "sha256": "bcf597d7892e0cb35b81c8e06fcd49fe6557cb950b99d537e39a12fafe900a84",
      "size": 216852,
      "subdir": "osx-arm64",
      "timestamp": 1786994409618,
      "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": "79649873f13d269a47a077287b94cc01",
      "name": "z3-solver",
      "sha256": "8f7708ed39094d27f453f041d2bb00a1915c7331e034361bdb13d4b4055dcde4",
      "size": 287657,
      "subdir": "osx-arm64",
      "timestamp": 1786994413553,
      "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": "a24456dc0eca95b17191e20c122aa2f1",
      "name": "z3-solver",
      "sha256": "eaee27cc139fb60c585fecba80fdf44d5a604507a429ab5cec6460127a9df72d",
      "size": 272846,
      "subdir": "osx-arm64",
      "timestamp": 1786994532458,
      "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": "4c4e4960cb86929e67eb3c03ee5edf28",
      "name": "z3-solver",
      "sha256": "679b092d1cb2f020802df94c34ac66ab8e30be376a440054becfbea0f4d24c7c",
      "size": 286128,
      "subdir": "osx-arm64",
      "timestamp": 1786994437813,
      "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": "b9665681196fa44253df6bfee777f0d0",
      "name": "z3-solver",
      "sha256": "dba48475faa9b89ff1afd5b640e95350ea5e0f27dc3fd7771d99a8bc37fb7d64",
      "size": 287682,
      "subdir": "osx-arm64",
      "timestamp": 1786994408348,
      "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": "ad3e42070c8520671a3541e05cd5f3a2",
      "name": "z3prover",
      "sha256": "968c0b2ba95dd5aff797d04c124f5cf779ffcce950e6a5bef2ba3e4443d8591a",
      "size": 12640,
      "subdir": "osx-arm64",
      "timestamp": 1786994414791,
      "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": "a58ea7437d51affdf75767ced58ae461",
      "name": "z3prover",
      "sha256": "dc2bd05179e8885fec90f1accb18db2f79b3e68e43190ca2736129165b25f8b2",
      "size": 12619,
      "subdir": "osx-arm64",
      "timestamp": 1786994418775,
      "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": "2ed34134d6b83fb06e432fa7c29f105b",
      "name": "z3prover",
      "sha256": "9ed9a2c295f3e759a02544cd631f7c4875070bcbf467afe2fba4d10da80203c0",
      "size": 12629,
      "subdir": "osx-arm64",
      "timestamp": 1786994537529,
      "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": "5f68587b6c9d4ac3fd7a28350b56374f",
      "name": "z3prover",
      "sha256": "be67e4984b42f770d8d08146de73f35abb284947c97983a144bf3b19e9fb641b",
      "size": 12662,
      "subdir": "osx-arm64",
      "timestamp": 1786994443024,
      "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": "4db7be136bbd5c7fcb6c2020ae926350",
      "name": "z3prover",
      "sha256": "3dbc9dcc86bdf0edf0628d1b97f5e2fb97c8d11b860ba4c068a70c13003cedd3",
      "size": 12685,
      "subdir": "osx-arm64",
      "timestamp": 1786994413566,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}