{
  "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": "429397e605d268d248342b1aa33651ad",
      "name": "libz3",
      "sha256": "7fd2fb0e65a5bcf9fe53e6106ff4e5cdfe48ded4f8fb632d8a691c4bd6263b17",
      "size": 23650887,
      "subdir": "linux-64",
      "timestamp": 1781620440419,
      "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": "71d617764334e71d241febd44f479bd0",
      "name": "z3-solver",
      "sha256": "cb9b786dbf58ae9241861adbbc1bf707111ef14038387b6956a2c42fa0a553ec",
      "size": 220518,
      "subdir": "linux-64",
      "timestamp": 1781620428353,
      "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": "8dabade2a0dacae082ac37615361e095",
      "name": "z3-solver",
      "sha256": "432eb15fe2344ab9468a291367817c4d6f1440fc832274a1c70fe908d9fb75cb",
      "size": 311066,
      "subdir": "linux-64",
      "timestamp": 1781620406997,
      "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": "66ac3d95f6a527cba9b0d74b4e83be43",
      "name": "z3-solver",
      "sha256": "85b6723c2fde179bdb72a76bd80fd349ef0d4c653522000b43c1f166f323038c",
      "size": 290325,
      "subdir": "linux-64",
      "timestamp": 1781620494376,
      "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": "851dc8b326777dd4189805b3daa4386c",
      "name": "z3-solver",
      "sha256": "4415458a8f302422f5861c5afe88c43f6d9c509b73bc6f595de7ad23d3d223bf",
      "size": 293595,
      "subdir": "linux-64",
      "timestamp": 1781620480890,
      "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": "01f271ad9630f8df11a5fe72980af917",
      "name": "z3-solver",
      "sha256": "5180554e1cb8d8cbbfbb6410d15f1970b241cba9a9a23c4b3ed0c38a7dd7eeee",
      "size": 293836,
      "subdir": "linux-64",
      "timestamp": 1781620485041,
      "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": "1e9ca3db2670e56ae7938531ab8935d4",
      "name": "z3prover",
      "sha256": "44b177548fcaab1ebabe30229c53e5628ae6fc2c70bf42ee7f16f7f0130dad99",
      "size": 10991,
      "subdir": "linux-64",
      "timestamp": 1781620428981,
      "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": "374c2ffa39602bb0e329a8d517b4bf08",
      "name": "z3prover",
      "sha256": "be549e30bddc9ab39eeecc0bfcfd7700a0e3f1e70502c11f7352393cc54e3645",
      "size": 10987,
      "subdir": "linux-64",
      "timestamp": 1781620407740,
      "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": "a8f2cd568683143dd980c85d0e58f1c7",
      "name": "z3prover",
      "sha256": "e03f81c76207136e41d1c0808cce89a4f136c34f35371eafa6068fa923e425f3",
      "size": 10997,
      "subdir": "linux-64",
      "timestamp": 1781620495217,
      "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": "c8743bfd9b6bed0281c578db42b32aa9",
      "name": "z3prover",
      "sha256": "9d85bf6c44a2bdbcc0c5ffaa25c9a8aa69c9dcf9dc9e9030b270954b0d400f1c",
      "size": 11015,
      "subdir": "linux-64",
      "timestamp": 1781620481717,
      "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": "658de41cc547d50bdfcece4d8a6aff35",
      "name": "z3prover",
      "sha256": "7caecbf9649a99fcbd9579637b09b23d5c904fe7189e3dd2b1fdb55f9ebfb526",
      "size": 11026,
      "subdir": "linux-64",
      "timestamp": 1781620485894,
      "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": "8df735e58e0c05f12b4ef5461b96bb0c",
      "name": "libz3",
      "sha256": "8959310bafd95c3a7967ba7d8a01d6043ef45cba982638a734150812a5f1dbe7",
      "size": 20554936,
      "subdir": "linux-64",
      "timestamp": 1781620440419,
      "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": "d80c34ff3a2434c3901f8cb1d9168d06",
      "name": "z3-solver",
      "sha256": "4a5bbfc1be011e54ddedae14117ddf51fefb9ee2139ec80c351299cc02ff1833",
      "size": 213021,
      "subdir": "linux-64",
      "timestamp": 1781620428353,
      "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": "e1da3191921a02867200592c656a4037",
      "name": "z3-solver",
      "sha256": "1119fc91fd30803f843b828db0a3cb49a4c70d96e23bcd7ebcc112f2e5973b93",
      "size": 285600,
      "subdir": "linux-64",
      "timestamp": 1781620406997,
      "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": "157ff200fc031fa3b020827b683402ba",
      "name": "z3-solver",
      "sha256": "6307f02efb3e2b2bc4c7b59fef0281c4cb84db81e81bb762bbd64dbcd4a83de8",
      "size": 274912,
      "subdir": "linux-64",
      "timestamp": 1781620494376,
      "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": "dc4618d90124d5b5468330109fde6a08",
      "name": "z3-solver",
      "sha256": "be5f4b74899232a28aafff89b25eda67ee73dd884ebd46baaf317ec582b08234",
      "size": 283627,
      "subdir": "linux-64",
      "timestamp": 1781620480890,
      "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": "526916b82dca6ba8ccc2fd16a9eb30ca",
      "name": "z3-solver",
      "sha256": "b5175559869ada0af50843226fd1745635982c4e0e79e094e7bd19aa04339574",
      "size": 282805,
      "subdir": "linux-64",
      "timestamp": 1781620485041,
      "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": "0370c44ad30c5f2f2a4b7066d230922c",
      "name": "z3prover",
      "sha256": "f697094cfb24e8175eff91f69c0abfc8a8f46e25022456c6e208cce6a989ccba",
      "size": 11343,
      "subdir": "linux-64",
      "timestamp": 1781620428981,
      "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": "d4b29ab4113ea9d1a1c341430c1e13d6",
      "name": "z3prover",
      "sha256": "c41b7b863137f9311acaf1d55452bd18cca3951fdb6210e9641f8f0daafce8ba",
      "size": 11395,
      "subdir": "linux-64",
      "timestamp": 1781620407740,
      "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": "ce5fc198b1318eb967a3257584b3ef46",
      "name": "z3prover",
      "sha256": "570d494c3e7226d6f81b8f5f839142de6c306c72dcc1ed0f7cb97ebe728c05d5",
      "size": 11354,
      "subdir": "linux-64",
      "timestamp": 1781620495217,
      "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": "6842470ae7c64cfaa0b9cf95e04e9ff6",
      "name": "z3prover",
      "sha256": "2c68aed7da37866c79d44614d65a272aa90b343a5389b10bc62132642c865b51",
      "size": 11402,
      "subdir": "linux-64",
      "timestamp": 1781620481717,
      "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": "42e6e26fc9e20de274766888393e33e5",
      "name": "z3prover",
      "sha256": "9e219353a82a46326b3be81c94ac0d175fef1cfa65c6b2ce16c098ac6958f438",
      "size": 11415,
      "subdir": "linux-64",
      "timestamp": 1781620485894,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}