{
  "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",
      "license_family": "MIT",
      "md5": "61a29998312123fe8dd5d2057dd18ab1",
      "name": "libz3",
      "sha256": "5e0781ffe5e8fa39fb0920549c8f1b897e6364cdd44cb877db93b4a09b05f708",
      "size": 23597648,
      "subdir": "linux-64",
      "timestamp": 1786994789549,
      "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",
      "license_family": "MIT",
      "md5": "d8e702dc6ea18155aefe07b47e96197c",
      "name": "z3-solver",
      "sha256": "44a9d0623e1a762e05d1e7ce17bb1912825af8274528feba7c437de5fab7bfaa",
      "size": 236455,
      "subdir": "linux-64",
      "timestamp": 1786994920032,
      "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",
      "license_family": "MIT",
      "md5": "6c60d4c2b78204b7867df8c51f9ae8c3",
      "name": "z3-solver",
      "sha256": "78cf25f40d51397d28e24f658a5745c0d1a76ab39817e2aacb61d721a38877ba",
      "size": 309245,
      "subdir": "linux-64",
      "timestamp": 1786994825360,
      "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",
      "license_family": "MIT",
      "md5": "33778a27d86b375dfc87195131f1657e",
      "name": "z3-solver",
      "sha256": "07e7622fb3c49a06a68a240f2a52218904143cadfd909df3d568b7da4796f4cc",
      "size": 290946,
      "subdir": "linux-64",
      "timestamp": 1786994871318,
      "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",
      "license_family": "MIT",
      "md5": "0abaef2d0291fb375f8c0292d2189160",
      "name": "z3-solver",
      "sha256": "8037947ece4146fab93bb0b7fc78e7bf0224e3024c5f413d2bdd2627a4c7cf65",
      "size": 294904,
      "subdir": "linux-64",
      "timestamp": 1786994907318,
      "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",
      "license_family": "MIT",
      "md5": "e3f3423fd2312c98011f86a4a4f625c7",
      "name": "z3-solver",
      "sha256": "56098dc834d519b855fcb7ce73a9d50bba8c910e8c0d398ae80899559e8cdeb3",
      "size": 297875,
      "subdir": "linux-64",
      "timestamp": 1786994828173,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h06a4308_1.tar.bz2": {
      "build": "py310h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "522c67aa68ed9f2596ab60c1ffae9c32",
      "name": "z3prover",
      "sha256": "fde6c12d7855727565d351006369e14bb214878cf62632686a288b0d5d0c7e7b",
      "size": 12323,
      "subdir": "linux-64",
      "timestamp": 1786994923363,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h06a4308_1.tar.bz2": {
      "build": "py311h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "47b822a74a37b864872136a041ec2fbf",
      "name": "z3prover",
      "sha256": "6af366d521b4654d7ffd18f79a24db5c55b72e6c7ca0de94a041dcb9fbafdaee",
      "size": 12339,
      "subdir": "linux-64",
      "timestamp": 1786994828885,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h06a4308_1.tar.bz2": {
      "build": "py312h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "2d84a7a2bf0278ab4f856469ade658fa",
      "name": "z3prover",
      "sha256": "cd399e87ec4a310abb5e5eca3850949ad102495e82e49c7217035736b0db4f23",
      "size": 12330,
      "subdir": "linux-64",
      "timestamp": 1786994874824,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h06a4308_1.tar.bz2": {
      "build": "py313h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "0e5f6c8d669948d7414b15992b33d88b",
      "name": "z3prover",
      "sha256": "df387589426c39d89914d8d81ee1ea1fde6ea4996291a6b2e5076a1e8f7c1563",
      "size": 12386,
      "subdir": "linux-64",
      "timestamp": 1786994910894,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h06a4308_1.tar.bz2": {
      "build": "py314h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "60368618dac692651982183672f8a879",
      "name": "z3prover",
      "sha256": "38ddd55b1c440912f6e25bffd084ed7dcfbddca3ade7968cefc0b46379e8a885",
      "size": 12373,
      "subdir": "linux-64",
      "timestamp": 1786994831475,
      "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",
      "license_family": "MIT",
      "md5": "d440a27d79c78f7d5732f96f4c2a24e9",
      "name": "libz3",
      "sha256": "d2837d840f4f36fd61062a494bcd4daabeafd75927c35e566deb0802aa024b4c",
      "size": 20565482,
      "subdir": "linux-64",
      "timestamp": 1786994789549,
      "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",
      "license_family": "MIT",
      "md5": "5a6809e44f1331961492703fc4c2263a",
      "name": "z3-solver",
      "sha256": "bac435204311dbe9a1a171f832e0ecdb4e98c42e6c8f84ef4c3b26c68c58976c",
      "size": 216721,
      "subdir": "linux-64",
      "timestamp": 1786994920032,
      "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",
      "license_family": "MIT",
      "md5": "8fb55920743e7f7b18985e31acfbe0bb",
      "name": "z3-solver",
      "sha256": "acf9669f4e9cc70bc05873d9eb828fa4d2500d079d8354fafa9ea87b60731de0",
      "size": 286752,
      "subdir": "linux-64",
      "timestamp": 1786994825360,
      "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",
      "license_family": "MIT",
      "md5": "4ea4e29d105e5418515f40b9c9adff3d",
      "name": "z3-solver",
      "sha256": "548e2df5bd901921a0ccae81be07a1d89728c20d7b67836c772162b11d9eec74",
      "size": 272025,
      "subdir": "linux-64",
      "timestamp": 1786994871318,
      "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",
      "license_family": "MIT",
      "md5": "17ffb151707928630e00c39a8ab9cf5e",
      "name": "z3-solver",
      "sha256": "b8eec82ddc8cbcaf2a05c442673eb8c6bfa11b9542c802eeebb9a9960bcb62e4",
      "size": 285722,
      "subdir": "linux-64",
      "timestamp": 1786994907318,
      "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",
      "license_family": "MIT",
      "md5": "a6e3637d27d70e12c456b045cb90b4af",
      "name": "z3-solver",
      "sha256": "3d8337be14a24803359bbcdd940fec9ced982199df88a6f44a52d94c82a226d7",
      "size": 284933,
      "subdir": "linux-64",
      "timestamp": 1786994828173,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310h06a4308_1.conda": {
      "build": "py310h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "e6a4fd27fa5903af0d473bd9728669ce",
      "name": "z3prover",
      "sha256": "c12f7efcc50eff3b994e9fa0b140c3e1d80497ca3db0951eafd5b7a65d4cd5c7",
      "size": 12614,
      "subdir": "linux-64",
      "timestamp": 1786994923363,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311h06a4308_1.conda": {
      "build": "py311h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "6ee7f2b1a3371159898b5f8373c3a014",
      "name": "z3prover",
      "sha256": "61c5a119484274912cce71ed4d9c5300d459d6e001a961e9721266b3475535ce",
      "size": 12611,
      "subdir": "linux-64",
      "timestamp": 1786994828885,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312h06a4308_1.conda": {
      "build": "py312h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "cfc7f8cf565bbeb830e095efe8e1ebbf",
      "name": "z3prover",
      "sha256": "578adc0a5a0fa8fe1700c2dd3fcbb0e2b20581219ea2d84c398dd7e8c4827c27",
      "size": 12534,
      "subdir": "linux-64",
      "timestamp": 1786994874824,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313h06a4308_1.conda": {
      "build": "py313h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "bb452cf16d2267d2392e63317beaba28",
      "name": "z3prover",
      "sha256": "b11068b292daca3b615a027261bcd2b904594e97dad63849ebab60ee0708a0ad",
      "size": 12651,
      "subdir": "linux-64",
      "timestamp": 1786994910894,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314h06a4308_1.conda": {
      "build": "py314h06a4308_1",
      "build_number": 1,
      "depends": [
        "libz3 4.15.4 h24d9097_1",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "license_family": "MIT",
      "md5": "d2da7977f22b40148ede0abec4e0a6e6",
      "name": "z3prover",
      "sha256": "c8e71753a4d67bd36fdeda8f3af679a9528723dd76b94d3c6aa10966ecb6f0e4",
      "size": 12591,
      "subdir": "linux-64",
      "timestamp": 1786994831475,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}