{
  "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": "970e7ed49ec458cd8400f39ea3e14925",
      "name": "libz3",
      "sha256": "0b61986294dd7ca79bcf7b21a5026e7e14e0a2fc2c686085b76ce5a9c6e01416",
      "size": 17290014,
      "subdir": "osx-arm64",
      "timestamp": 1781620056176,
      "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": "90d64c8a6cfdf02b5fac2a19cd92271d",
      "name": "z3-solver",
      "sha256": "1d5e001c88ba03583ee8b0b28060dc37565bfe52ec75960f431710bace95b811",
      "size": 236734,
      "subdir": "osx-arm64",
      "timestamp": 1781620100156,
      "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": "5c4048c44e692a05ec5ef865b1e32de1",
      "name": "z3-solver",
      "sha256": "06ee5807a3ebe627826e88bdb3d21a36aea6f8ce12d1be1f1029a2937b8fa95b",
      "size": 307607,
      "subdir": "osx-arm64",
      "timestamp": 1781620101335,
      "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": "6833a7852153b23a4268f19ba4f43c52",
      "name": "z3-solver",
      "sha256": "923ca2137c746a1d4a9f5289b7e623de8ab068fe3df87301763a7247eb81b3e4",
      "size": 281892,
      "subdir": "osx-arm64",
      "timestamp": 1781620091178,
      "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": "1bd5ed1f0327bb09fcca1306eef999fb",
      "name": "z3-solver",
      "sha256": "65b8ae5bbcc3339b1a4b2f45af05de4b3da3b3b481363cf0cd6a321518c94456",
      "size": 290094,
      "subdir": "osx-arm64",
      "timestamp": 1781620099583,
      "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": "8eccacda5d524805b7aac082c974cc11",
      "name": "z3-solver",
      "sha256": "fda9a6310d4794c97cc22d869333a3fe56baadb8b492ff5dd6fb7c57de5f3537",
      "size": 298781,
      "subdir": "osx-arm64",
      "timestamp": 1781620100064,
      "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": "647011a19867b10b1574a58658e8cb4f",
      "name": "z3prover",
      "sha256": "de9c96eac01d29cdedb78951d42a661d7ccd3b92137a313d38121a403150c735",
      "size": 10980,
      "subdir": "osx-arm64",
      "timestamp": 1781620100996,
      "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": "9817591881eb203012bf6653cb1d137c",
      "name": "z3prover",
      "sha256": "eef1fb2d76b79b1e9719debcf557a581d071f5b47a697b1ee8f2514e28f80951",
      "size": 10952,
      "subdir": "osx-arm64",
      "timestamp": 1781620102291,
      "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": "736778aa71d2e80ab1d42f2b019427fe",
      "name": "z3prover",
      "sha256": "830839af6a787a9983ef8e4fa9feb4b807c708599befaef7508b93112e18e6a8",
      "size": 10940,
      "subdir": "osx-arm64",
      "timestamp": 1781620092091,
      "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": "75b7db35ca69340fc7d25bde8e612a35",
      "name": "z3prover",
      "sha256": "103f1cbc5036ef383e21506c3de92e394ed94d70bfd577876b05b3a6e477a7ed",
      "size": 11016,
      "subdir": "osx-arm64",
      "timestamp": 1781620100502,
      "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": "2587b356a5750b564a9234e0ba5e8594",
      "name": "z3prover",
      "sha256": "64f958587f71362716ebc90ee391cb1565ecba8c38695f7004dee574ad1da487",
      "size": 11009,
      "subdir": "osx-arm64",
      "timestamp": 1781620100986,
      "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": "90b79cf262f3a9eb932b22c32306d4d9",
      "name": "libz3",
      "sha256": "9529237366d666c0047e43785d20adfddc4554e81f6a8d40db775c4c0e89c72e",
      "size": 13867438,
      "subdir": "osx-arm64",
      "timestamp": 1781620056176,
      "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": "58fb43054afac11375f0216c700d5e01",
      "name": "z3-solver",
      "sha256": "b0c62b6216f8154527eb383060960cba8dc62a0c89b479c6f3d237912946390a",
      "size": 214022,
      "subdir": "osx-arm64",
      "timestamp": 1781620100156,
      "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": "aa158071b72e89103aaee573781d5418",
      "name": "z3-solver",
      "sha256": "3cf49d5dd49469516c70a894029a46270b2d13d07f0c234f3c1f19ea477457cf",
      "size": 285654,
      "subdir": "osx-arm64",
      "timestamp": 1781620101335,
      "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": "4ef3247849dd7b6e1d7c2cc6da287e41",
      "name": "z3-solver",
      "sha256": "9480b24a5e9ef84e137f88203f39b7df05eb38ef23f14dfb6fa6568acf041641",
      "size": 271023,
      "subdir": "osx-arm64",
      "timestamp": 1781620091178,
      "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": "833c9bb6b971cdce1cbfedb301bd59a0",
      "name": "z3-solver",
      "sha256": "087b64b80bde67b3a7c53719f2b71cc3c4d16d583dee9d7fa02a77ad1a1444c3",
      "size": 284268,
      "subdir": "osx-arm64",
      "timestamp": 1781620099583,
      "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": "f7104287f4952fa28e5c8d4a36413892",
      "name": "z3-solver",
      "sha256": "083f16341cfbe89649217da21a6dbeb3a2f9c52f79eb51f86413d38acc6ac85e",
      "size": 286494,
      "subdir": "osx-arm64",
      "timestamp": 1781620100064,
      "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": "09f375ce172c3600217911d9a37815e1",
      "name": "z3prover",
      "sha256": "e994c26c7b1f1e11326d8281dad43fd969eff9e96191f40b2e4adde0ee4e40e6",
      "size": 11431,
      "subdir": "osx-arm64",
      "timestamp": 1781620100996,
      "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": "bfee2c20de94185c86c5ac64366b0e14",
      "name": "z3prover",
      "sha256": "c736cd3accea185dc553ceca51522cd86786f476dd29d74f9ca999269ad893df",
      "size": 11407,
      "subdir": "osx-arm64",
      "timestamp": 1781620102291,
      "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": "a33b4635e5a7a1654ec47e7b5b34eb5f",
      "name": "z3prover",
      "sha256": "ec905ea17f9b450a734e36449b09b50a7b359b3f1f67a8b36f49e93bc2d6b0db",
      "size": 11378,
      "subdir": "osx-arm64",
      "timestamp": 1781620092091,
      "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": "515e391f400585c56280ddefe5416cfd",
      "name": "z3prover",
      "sha256": "36329296dcdaf4ddf87e7c10034e0355f9c951ab5a2fc450c8f03ce0d6dd4876",
      "size": 11446,
      "subdir": "osx-arm64",
      "timestamp": 1781620100502,
      "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": "e2480abf2cf101e01626d9dcdba548c1",
      "name": "z3prover",
      "sha256": "8914a9b987d706cbd356528d5f250d98faf065afb44944b9af2a3eeceda8774c",
      "size": 11421,
      "subdir": "osx-arm64",
      "timestamp": 1781620100986,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}