{
  "info": {
    "subdir": "linux-64"
  },
  "packages": {
    "libz3-4.15.4-h24d9097_0.tar.bz2": {
      "build": "h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "f5f4cb23629cf086f4980d445f129e7b",
      "name": "libz3",
      "sha256": "4b9871787bdef47119b6a5fb0449fe4c093a138b48d535f15ef91f477e16781c",
      "size": 23640841,
      "subdir": "linux-64",
      "timestamp": 1781623178593,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h24d9097_0.tar.bz2": {
      "build": "py310h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "f06f8675614c2de42464de78765929aa",
      "name": "z3-solver",
      "sha256": "289c9d29296ce5fbd9c16cf30cb6f1a79f60581890b3749f671180db6f349df6",
      "size": 234798,
      "subdir": "linux-64",
      "timestamp": 1781623252489,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h24d9097_0.tar.bz2": {
      "build": "py311h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "0ef5d2690d138ed9bae6045ac2108f92",
      "name": "z3-solver",
      "sha256": "a000f0a1e1f8f31b31bee572de32551ce86601d16728e074fefc2ecaf01275e6",
      "size": 308853,
      "subdir": "linux-64",
      "timestamp": 1781623269967,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h24d9097_0.tar.bz2": {
      "build": "py312h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "29686291dfaf3a0181a85034c2e8ebad",
      "name": "z3-solver",
      "sha256": "67b0284641798a856554a322608ea35940d8cca72b7d34be499ca4717510eed7",
      "size": 292697,
      "subdir": "linux-64",
      "timestamp": 1781623151543,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h24d9097_0.tar.bz2": {
      "build": "py313h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "3ed9b5f74aca8e52cedd9a41e3dfd84b",
      "name": "z3-solver",
      "sha256": "45a03706edf2c230bbdd0fa192531caa1ab2c1f6d1473b642479172a432956aa",
      "size": 294535,
      "subdir": "linux-64",
      "timestamp": 1781623259871,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h24d9097_0.tar.bz2": {
      "build": "py314h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "4f1864f2f738dafca82f9daea2730cfa",
      "name": "z3-solver",
      "sha256": "977029279404338460c112bbca21cda0be7430f98c163a307b53838d77d4e1c6",
      "size": 287184,
      "subdir": "linux-64",
      "timestamp": 1781623219894,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hce1c8c3_0.tar.bz2": {
      "build": "py310hce1c8c3_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h24d9097_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "4844bcd9304f3752afa5c3155c1e1124",
      "name": "z3prover",
      "sha256": "d7db01f1c0141457efb8f056c5a16f36a6e4bc4ab661d0bf23c492f96c371943",
      "size": 11184,
      "subdir": "linux-64",
      "timestamp": 1781623253167,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hce1c8c3_0.tar.bz2": {
      "build": "py311hce1c8c3_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h24d9097_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "87c861e12ee2bb7f8271e27f5a773020",
      "name": "z3prover",
      "sha256": "28734685bf949fbeb36a0cffa15c92f60df70c0aed900061eaa9dacb3ef180f1",
      "size": 11178,
      "subdir": "linux-64",
      "timestamp": 1781623270841,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hce1c8c3_0.tar.bz2": {
      "build": "py312hce1c8c3_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h24d9097_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "ac6ecb9af5319abbf6e8b0d0bd14dda8",
      "name": "z3prover",
      "sha256": "17d5fcf292b51a7b3000f6e5449e37e5bd530a498b82d21531088ea1ee39bed0",
      "size": 11200,
      "subdir": "linux-64",
      "timestamp": 1781623152264,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hce1c8c3_0.tar.bz2": {
      "build": "py313hce1c8c3_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h24d9097_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "9df15d4ae382d2be1912c177c7402fb0",
      "name": "z3prover",
      "sha256": "309793c455973a0cd1c7ed83ab0aeb3a96b08ccde2f6818fe5ae1f01b878bf9a",
      "size": 11227,
      "subdir": "linux-64",
      "timestamp": 1781623260729,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hce1c8c3_0.tar.bz2": {
      "build": "py314hce1c8c3_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h24d9097_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "10682bc34e6f5ba800a252b7919cef7a",
      "name": "z3prover",
      "sha256": "8d92258a5b08a6d5644ffe289c30e260da5741b259610f020ea12cd4822ef100",
      "size": 11222,
      "subdir": "linux-64",
      "timestamp": 1781623220664,
      "version": "4.15.4"
    }
  },
  "packages.conda": {
    "libz3-4.15.4-h24d9097_0.conda": {
      "build": "h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "88916c4b7f01fe5074bc5d9c9490f81a",
      "name": "libz3",
      "sha256": "fea521cb4800450cb113da0b54e01f37bdcfbe9a7423d355dd07c4f48945e400",
      "size": 20551969,
      "subdir": "linux-64",
      "timestamp": 1781623178593,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h24d9097_0.conda": {
      "build": "py310h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "c8935a8ab73fa2569781a0917398e6e9",
      "name": "z3-solver",
      "sha256": "1dca0870de594ae0ff4061dca73e405ed82d4c9d219014b9973723b4e20e7699",
      "size": 215725,
      "subdir": "linux-64",
      "timestamp": 1781623252489,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h24d9097_0.conda": {
      "build": "py311h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "b2ec9fa89ff9a4d06c78a2fe80a1eb0c",
      "name": "z3-solver",
      "sha256": "582c4c53e5a3858a792ee28ce737df1b6a8f916b09f8c86e5201d416da77018b",
      "size": 282268,
      "subdir": "linux-64",
      "timestamp": 1781623269967,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h24d9097_0.conda": {
      "build": "py312h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "8d81a1ec0f1a4c5350ac20f0bc13ff28",
      "name": "z3-solver",
      "sha256": "1b4cebd30e3ada3c79c914eb01b0884ad608496c0e74dd65db60169be9c96a28",
      "size": 274427,
      "subdir": "linux-64",
      "timestamp": 1781623151543,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h24d9097_0.conda": {
      "build": "py313h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "feb7b6cdabc96602c490db8fcbca4a8f",
      "name": "z3-solver",
      "sha256": "9db394c6d2e4842b7c351238f83399052eceec423fe645229ec3da793611ad4f",
      "size": 281536,
      "subdir": "linux-64",
      "timestamp": 1781623259871,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h24d9097_0.conda": {
      "build": "py314h24d9097_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "ebce02caa4a73e0475359e40d4cd4a2d",
      "name": "z3-solver",
      "sha256": "f4465721d11e93cb2a8b003e9b94e5adf63efd018b21c6d88c27192f16d17422",
      "size": 286220,
      "subdir": "linux-64",
      "timestamp": 1781623219894,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hce1c8c3_0.conda": {
      "build": "py310hce1c8c3_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h24d9097_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "eed2ca481b17330ee37bc4b80e237c04",
      "name": "z3prover",
      "sha256": "cfdaf11175c4fd852088b3c8f88fe659c0122447d75a173b554a1e5f57680517",
      "size": 11559,
      "subdir": "linux-64",
      "timestamp": 1781623253167,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hce1c8c3_0.conda": {
      "build": "py311hce1c8c3_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h24d9097_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "f7e3ed086d4846bc67a6ab2bffbd6523",
      "name": "z3prover",
      "sha256": "394f72aff7a7dced1f707118120305c4ac4d77fd028ff4b58e4276dfd56959c2",
      "size": 11542,
      "subdir": "linux-64",
      "timestamp": 1781623270841,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hce1c8c3_0.conda": {
      "build": "py312hce1c8c3_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h24d9097_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "d5c56407b48cc8ee4754f567331b71ee",
      "name": "z3prover",
      "sha256": "75ddd2eef11807ad9461ae34122809c6241e71b0e9db3312a9d147c2840d496f",
      "size": 11491,
      "subdir": "linux-64",
      "timestamp": 1781623152264,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hce1c8c3_0.conda": {
      "build": "py313hce1c8c3_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h24d9097_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "85c50de6dd610431dcfb1bcde6d5d4e2",
      "name": "z3prover",
      "sha256": "653f5b2f25d8c8dbeed196f66655199cb0202bbf5803f3dda5b8c67da375ca1c",
      "size": 11562,
      "subdir": "linux-64",
      "timestamp": 1781623260729,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hce1c8c3_0.conda": {
      "build": "py314hce1c8c3_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h24d9097_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "6144ca70f341cfcbc33b082fbb1499b1",
      "name": "z3prover",
      "sha256": "00fca4a5b99bb0ef10ad31ebb2065c77ea801f82081c323a28f42e9a9fcbcb2e",
      "size": 11531,
      "subdir": "linux-64",
      "timestamp": 1781623220664,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}