{
  "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": "988054a6f430720e3653858ee1b6e482",
      "name": "libz3",
      "sha256": "dfa04f746b990857ae7df379e60df401e777f6aaa5234cd64e845fceca10a006",
      "size": 17278771,
      "subdir": "osx-arm64",
      "timestamp": 1786994360330,
      "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": "24e9b9c34354d987b76424e4a92a72ea",
      "name": "z3-solver",
      "sha256": "a76c26d2b1413b934b1e07e779053ef967d461343e72da43b8d11937a94d5b77",
      "size": 224492,
      "subdir": "osx-arm64",
      "timestamp": 1786994394344,
      "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": "8ffad9f9c25d4763094eb184538ab81f",
      "name": "z3-solver",
      "sha256": "2bfa38e01324e1be2fbcedfd84ed5f6cc82a8e4076acf38737f2165e9a48f751",
      "size": 308741,
      "subdir": "osx-arm64",
      "timestamp": 1786994390497,
      "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": "4829a9a66f286edf9e521bd50ffd6737",
      "name": "z3-solver",
      "sha256": "4c6d56f1b0f6650633dc1ad71abaff3e145d905e1705e2d00e7bd59eb82a1f67",
      "size": 292101,
      "subdir": "osx-arm64",
      "timestamp": 1786994396539,
      "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": "0b77564459527fe3c6d4af6d909510b0",
      "name": "z3-solver",
      "sha256": "99b6f71fe7a0a008266e083138e2decfd459a6d92b8c0e70709f37ab508b7e87",
      "size": 289586,
      "subdir": "osx-arm64",
      "timestamp": 1786994389455,
      "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": "967516cf4baf706a6d49b2c9bd54dca1",
      "name": "z3-solver",
      "sha256": "ae8b083aab6e2309a87d4e39754532503a6b2638540d6839bce471bfb70af28a",
      "size": 288547,
      "subdir": "osx-arm64",
      "timestamp": 1786994397694,
      "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": "ae6195b8a0c93a1ae06b7181e3d05770",
      "name": "z3prover",
      "sha256": "62083a32835f6995680ad7a8eb36569931a88b78d64adbca318db4c394bb8169",
      "size": 12308,
      "subdir": "osx-arm64",
      "timestamp": 1786994399382,
      "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": "d503a96408d873db4d42b9453a1e7714",
      "name": "z3prover",
      "sha256": "d48b3919d8bf4731fe7e2881988d45c118a7eac3aef89c4c0b58700c7cb926cf",
      "size": 12313,
      "subdir": "osx-arm64",
      "timestamp": 1786994395545,
      "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": "ee4f613184507c1a6ecc47d07187de01",
      "name": "z3prover",
      "sha256": "7673d3aac9a956ab56fdf8daccae5989b33fe5e5f8508ae3761f8f95799f33a9",
      "size": 12309,
      "subdir": "osx-arm64",
      "timestamp": 1786994401683,
      "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": "61fde587c74256e9258a83d4c4d3225b",
      "name": "z3prover",
      "sha256": "40ef8855aef8ea10d8ad666b79f513d891e3e1bb9e855e511bc667cce3b1bbb9",
      "size": 12335,
      "subdir": "osx-arm64",
      "timestamp": 1786994394491,
      "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": "7c24130fd8417c769ef18721e92c5bc5",
      "name": "z3prover",
      "sha256": "4e5d0aca7c8fc2064b9929b2a6f552016ffaff31dbe8dd5d588d61e108e41e9c",
      "size": 12333,
      "subdir": "osx-arm64",
      "timestamp": 1786994402801,
      "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": "e7e0a71f3826dab7d06ba06ef555da8f",
      "name": "libz3",
      "sha256": "66668cb54ffe83244c08f18ffd7e4d697fd387f17bad185b1efd97109bb5f08d",
      "size": 13872348,
      "subdir": "osx-arm64",
      "timestamp": 1786994360330,
      "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": "0bd21fb282c83399370affb6fe3f26f8",
      "name": "z3-solver",
      "sha256": "fe92649db406e620247ad5027d197bfd6904ad7608ba55dfc0c13486cf79b6b0",
      "size": 217697,
      "subdir": "osx-arm64",
      "timestamp": 1786994394344,
      "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": "cb14f7a92983c4a6be06baf0227fc71e",
      "name": "z3-solver",
      "sha256": "4f38aaeb65e99e65d3b12968b2f755a03ad5f09701f9cc6b6a945c377858cc5b",
      "size": 284827,
      "subdir": "osx-arm64",
      "timestamp": 1786994390497,
      "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": "c6ebd13059de80b4c0932b123ca1ffd4",
      "name": "z3-solver",
      "sha256": "45e2d5e1e226d84f82f0fb11674d94260105e0e94a71d16d9ca78ba394a1b746",
      "size": 272730,
      "subdir": "osx-arm64",
      "timestamp": 1786994396539,
      "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": "ebe4530abab066fe03c7a2dcb37dca1f",
      "name": "z3-solver",
      "sha256": "4c37efdd0887a2ff79f379d3454db8ec51d9073cc5f0efaf37d173c03e7ac8d2",
      "size": 283044,
      "subdir": "osx-arm64",
      "timestamp": 1786994389455,
      "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": "e3e275e5ef22af49b1c55569cbfaceb4",
      "name": "z3-solver",
      "sha256": "792c97bf787c2fc1fa9241b52cbc9facd057d893f42c23b164b145f310dae6ff",
      "size": 287607,
      "subdir": "osx-arm64",
      "timestamp": 1786994397694,
      "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": "3f22e3dc603aa7870f76a5588238bf12",
      "name": "z3prover",
      "sha256": "937125bc8017e1391ec0bf32730b437dcf4e63689039c50c8f65ca0e57eed187",
      "size": 12663,
      "subdir": "osx-arm64",
      "timestamp": 1786994399382,
      "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": "17c9c82dd1cafaa75d8b51dc313487b7",
      "name": "z3prover",
      "sha256": "737ed63e40fe328cb867fa50885ad10a541c73693c0b1ff480a9916e7c0b3e9d",
      "size": 12616,
      "subdir": "osx-arm64",
      "timestamp": 1786994395545,
      "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": "b2aeee773feb495e16edec6d87821e14",
      "name": "z3prover",
      "sha256": "9431952e14c68cec36416710f535c142d3f5fa5947c4ffcde9c8cf8e3cc510fd",
      "size": 12584,
      "subdir": "osx-arm64",
      "timestamp": 1786994401683,
      "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": "43206e94d464af1e33a16a352c77bdfb",
      "name": "z3prover",
      "sha256": "1b0a8f694c08af9e84a4b2626932ae3c81072d9ce5b3ce46d4f80a200177cc53",
      "size": 12684,
      "subdir": "osx-arm64",
      "timestamp": 1786994394491,
      "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": "57653fce0e190bc0d228cb82c322c50a",
      "name": "z3prover",
      "sha256": "20c6afb314c044f5fc5830e7469996edda94195b6cdd346c9fee05e35884563c",
      "size": 12667,
      "subdir": "osx-arm64",
      "timestamp": 1786994402801,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}