{
  "info": {
    "subdir": "linux-64"
  },
  "packages": {
    "libz3-4.15.4-h24d9097_1.tar.bz2": {
      "build": "h24d9097_1",
      "build_number": 1,
      "constrains": [
        "z3prover ==4.15.4"
      ],
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14"
      ],
      "license": "MIT",
      "md5": "b530efee643a2b7475e0ba010a12b632",
      "name": "libz3",
      "sha256": "224068b03a82b3d791ae93456063e18c4c14ac759cc52b7cc5977ba5de1d56f2",
      "size": 23619424,
      "subdir": "linux-64",
      "timestamp": 1786993665627,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h24d9097_1.tar.bz2": {
      "build": "py310h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "a7bf4ea1231bbd63085877d5a8b38fad",
      "name": "z3-solver",
      "sha256": "e96a896e53b2cd274eada202d3ca136ae3b2caf8fa644d933aeb950178edd0ea",
      "size": 233973,
      "subdir": "linux-64",
      "timestamp": 1786993785211,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h24d9097_1.tar.bz2": {
      "build": "py311h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "113bfd1a735a7ffbfd202f72755d6118",
      "name": "z3-solver",
      "sha256": "c85025cf10f2cb26db2102a177bd57db9855dea2a12493683e088f9f3bbdac6c",
      "size": 297515,
      "subdir": "linux-64",
      "timestamp": 1786993729653,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h24d9097_1.tar.bz2": {
      "build": "py312h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "2fd31f3ee39a9e94a4cc1deb15c8da43",
      "name": "z3-solver",
      "sha256": "84f0fc384dd656c4c129e2e15f37f1d5a0dced1ce11317fa54de7b7e7ffaaed5",
      "size": 294574,
      "subdir": "linux-64",
      "timestamp": 1786993767797,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h24d9097_1.tar.bz2": {
      "build": "py313h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "4bd7d1f4833712154eca8b9df117eee4",
      "name": "z3-solver",
      "sha256": "8f67c21f35efa1b13cec657e74b39459929a1cf54e98cd6e0dd7a5aa7b813c99",
      "size": 296240,
      "subdir": "linux-64",
      "timestamp": 1786993592645,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h24d9097_1.tar.bz2": {
      "build": "py314h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "88c585e9d6fee328058b5f95b62f807a",
      "name": "z3-solver",
      "sha256": "7b7a1ca6fa6005494a671be04c4646a6c0d0c045eae1c9ae018c9853ecf4e5d5",
      "size": 295713,
      "subdir": "linux-64",
      "timestamp": 1786993710934,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hce1c8c3_1.tar.bz2": {
      "build": "py310hce1c8c3_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "43e469b12b06998da6587b653f149c61",
      "name": "z3prover",
      "sha256": "aa92a933166fed341a7bd2db1e63e4b69da43bdfe894375e6afed58910e2c42c",
      "size": 11611,
      "subdir": "linux-64",
      "timestamp": 1786993785897,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hce1c8c3_1.tar.bz2": {
      "build": "py311hce1c8c3_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "d081e3d6b0295884310ea2e1ffe0bf22",
      "name": "z3prover",
      "sha256": "191f1e56c3de3591b39107c82f35c1e0b812bb16e6e90fd8ee1894013e6386d8",
      "size": 11601,
      "subdir": "linux-64",
      "timestamp": 1786993730441,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hce1c8c3_1.tar.bz2": {
      "build": "py312hce1c8c3_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "9d17c32919d956dfeb12113c004df6aa",
      "name": "z3prover",
      "sha256": "638d7ae2bdcbf2f2d62a2eb86ca3209662462ff4c45dd0b1d1d04aa8cd1d3f71",
      "size": 11620,
      "subdir": "linux-64",
      "timestamp": 1786993768609,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hce1c8c3_1.tar.bz2": {
      "build": "py313hce1c8c3_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "b7ec9258f83ff920c35c643acc924f80",
      "name": "z3prover",
      "sha256": "04dce2adb9770aa740d1fd8d6de163183ddcdd07dbfc4f2d9d3a0226f7d9e404",
      "size": 11642,
      "subdir": "linux-64",
      "timestamp": 1786993593378,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hce1c8c3_1.tar.bz2": {
      "build": "py314hce1c8c3_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "13063167de81b9cfda76d3b33483160c",
      "name": "z3prover",
      "sha256": "d382787e3f3d7bebe4c14093ea6f0084b99e7bd9466bdec0426215528a2c72a8",
      "size": 11619,
      "subdir": "linux-64",
      "timestamp": 1786993711759,
      "version": "4.15.4"
    }
  },
  "packages.conda": {
    "libz3-4.15.4-h24d9097_1.conda": {
      "build": "h24d9097_1",
      "build_number": 1,
      "constrains": [
        "z3prover ==4.15.4"
      ],
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14"
      ],
      "license": "MIT",
      "md5": "147c716dffb18fe26e2b96da0a26c03c",
      "name": "libz3",
      "sha256": "5059a73df127f369f1cb50dd1acbc1162a6f271052581e63106410e51d71da77",
      "size": 20560634,
      "subdir": "linux-64",
      "timestamp": 1786993665627,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h24d9097_1.conda": {
      "build": "py310h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "54e41cc5c3f43f0442f0a7de995a102c",
      "name": "z3-solver",
      "sha256": "74ecf4fc139d17d070492a22958791156b97854adc118f15f00cf4ee9b4d0a6b",
      "size": 215590,
      "subdir": "linux-64",
      "timestamp": 1786993785211,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h24d9097_1.conda": {
      "build": "py311h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "0c3decaddb8e7d6509923bdf8f8b0be1",
      "name": "z3-solver",
      "sha256": "00e07900992ec28e3c6300a3eb5850bc0256e39fd727d4a910820cd2f061cbf0",
      "size": 286399,
      "subdir": "linux-64",
      "timestamp": 1786993729653,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h24d9097_1.conda": {
      "build": "py312h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "ef2bbf2c4091773aaa93a85c0806bc86",
      "name": "z3-solver",
      "sha256": "09168ff7be07d03d6b9596364acad374f9d296ea8bcd9856a9fb9a536d2796b2",
      "size": 272369,
      "subdir": "linux-64",
      "timestamp": 1786993767797,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h24d9097_1.conda": {
      "build": "py313h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "a17e595994c047fc9eab2198e11cf582",
      "name": "z3-solver",
      "sha256": "06205060c5a79eca83c97351b93bae4934cbca2c91a493d839829ab82e7a1347",
      "size": 285094,
      "subdir": "linux-64",
      "timestamp": 1786993592645,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h24d9097_1.conda": {
      "build": "py314h24d9097_1",
      "build_number": 1,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h24d9097_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "dcb4fa7af514db762bfd29e0fab2d3b7",
      "name": "z3-solver",
      "sha256": "f392870bd535d4f17006f807b860fe90285db166abc77172b2043c75a272e2d8",
      "size": 286790,
      "subdir": "linux-64",
      "timestamp": 1786993710934,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hce1c8c3_1.conda": {
      "build": "py310hce1c8c3_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "cbbbe49d8003b7f9f3045c19b0e1dddd",
      "name": "z3prover",
      "sha256": "9b18f9e060d4a0d7cb3ff8059edd24f339d49b054df0b2ca4e995186362644bb",
      "size": 11904,
      "subdir": "linux-64",
      "timestamp": 1786993785897,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hce1c8c3_1.conda": {
      "build": "py311hce1c8c3_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "999fe7bf29983794be2cc36203b05e16",
      "name": "z3prover",
      "sha256": "b6b7dfb3a16c29f2e574a2c8389894e0ab8ba4498f8fd67d49c5c2289c6a8c5e",
      "size": 11877,
      "subdir": "linux-64",
      "timestamp": 1786993730441,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hce1c8c3_1.conda": {
      "build": "py312hce1c8c3_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "bd8849551ef56ecf382268ef1cd7c6e6",
      "name": "z3prover",
      "sha256": "c9775b28f8cc37f222884540904a24c34d4da9d6003c9158d571834210ff047a",
      "size": 11911,
      "subdir": "linux-64",
      "timestamp": 1786993768609,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hce1c8c3_1.conda": {
      "build": "py313hce1c8c3_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "95f78a707cbca50d1809e9c520ceeea6",
      "name": "z3prover",
      "sha256": "4c5199c214a53123eb26af91e03c904837681397094e5e2717be3a85ebdeb5ca",
      "size": 11936,
      "subdir": "linux-64",
      "timestamp": 1786993593378,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hce1c8c3_1.conda": {
      "build": "py314hce1c8c3_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "765b8fb4abf4eb5856b16e62ef796c02",
      "name": "z3prover",
      "sha256": "da944b7da2a0fe4cf1e489d32caf0be23ee4ceee996fa2422f5a7613a9c7ebcb",
      "size": 11932,
      "subdir": "linux-64",
      "timestamp": 1786993711759,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}