{
  "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": "4a8d7b45f53528e681a88c362919d75a",
      "name": "libz3",
      "sha256": "8ed56cee8bcdbad64c5bbb9a75253435ea56e062695a4432b5f0747de6101a59",
      "size": 23584026,
      "subdir": "linux-64",
      "timestamp": 1781624086027,
      "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": "7d7797027439337a0c56e477b7063b3d",
      "name": "z3-solver",
      "sha256": "f433e7d0cbc016610d9fbff6799317810021f47a152df51d8fd79996dab3415e",
      "size": 237129,
      "subdir": "linux-64",
      "timestamp": 1781624126323,
      "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": "a7ae07240d83ce31458d05e3715f1777",
      "name": "z3-solver",
      "sha256": "b1279b1f2dbb5bbd5670141eaeb91afbd73a79ad779dbe0fe70cf46ceaf9457e",
      "size": 312302,
      "subdir": "linux-64",
      "timestamp": 1781624126678,
      "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": "5943a65afb9d493cfde391f3cdf601f7",
      "name": "z3-solver",
      "sha256": "8b98cbf2e64407e0bd3d0406c83fb6d77bdf2e3f0282a898bb6bed01b16c8a45",
      "size": 279962,
      "subdir": "linux-64",
      "timestamp": 1781624126151,
      "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": "9914e895dd50aeed8954188b5815eeb8",
      "name": "z3-solver",
      "sha256": "b33abaa0a6a588b4481530c57198623deb436b9a753e6af670fbd2e144ef952f",
      "size": 294868,
      "subdir": "linux-64",
      "timestamp": 1781624131199,
      "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": "2ceb1d4cfffe8e7fc81ae47beaf20753",
      "name": "z3-solver",
      "sha256": "7ed7acbee9c16d6b7d709c727762803525671bd63dfc48e22eafa18afb021239",
      "size": 296825,
      "subdir": "linux-64",
      "timestamp": 1781624128260,
      "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": "3f2fb02a5ca8a18fda296f268d6cdde9",
      "name": "z3prover",
      "sha256": "e34d5b4d848f30ff843d2b09720c3f96d7b6b27bd34001e07720d4779b2e0149",
      "size": 11317,
      "subdir": "linux-64",
      "timestamp": 1781624126976,
      "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": "40de334e001300aa83fb87b9da327d80",
      "name": "z3prover",
      "sha256": "b74d9da1355dcf19a1d3b047c227bc618395aca5cb6bbd357cc323fae4273362",
      "size": 11306,
      "subdir": "linux-64",
      "timestamp": 1781624127557,
      "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": "f9aa5566ab007b6e700e511e6f1a0964",
      "name": "z3prover",
      "sha256": "45da305ba94e7cfccf9135c167039a870d46fb28863bbc6b71d59eb5a122f843",
      "size": 11307,
      "subdir": "linux-64",
      "timestamp": 1781624126947,
      "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": "85e753656ff028f79b10cc791e3f5874",
      "name": "z3prover",
      "sha256": "0c9c59752def27bd0bc6553212a46e9d4b2bfdfe6e42a157016447590b8efa28",
      "size": 11324,
      "subdir": "linux-64",
      "timestamp": 1781624132044,
      "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": "67ae0e57816788ed5d8bb85a9699b671",
      "name": "z3prover",
      "sha256": "d5fa459f17331279c20232735d406dd004f2b73afe81f96b3257f4eaad8254f7",
      "size": 11382,
      "subdir": "linux-64",
      "timestamp": 1781624129104,
      "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": "9ad3ca000e81b91b04776dca9898eac4",
      "name": "libz3",
      "sha256": "16cc5274a3e9fcee94644004fea871fdce0c48c80c7a6f49161be63dbed53d35",
      "size": 20555104,
      "subdir": "linux-64",
      "timestamp": 1781624086027,
      "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": "66a39a48aed3b8669e0f9755a586bab7",
      "name": "z3-solver",
      "sha256": "1d2349efdb41d33c2dab6a0f35f3f3b5d73bb1913485ccfbdc4a457fe8632f7f",
      "size": 213316,
      "subdir": "linux-64",
      "timestamp": 1781624126323,
      "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": "951fa1d5b2f842da0118e0fd920e7e6d",
      "name": "z3-solver",
      "sha256": "ab375c2e7fd654fec9148e83137d7df371ec9ee1c9032215a781676d89588593",
      "size": 285569,
      "subdir": "linux-64",
      "timestamp": 1781624126678,
      "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": "d0cd4f0438de4a647abf6fdd919abeac",
      "name": "z3-solver",
      "sha256": "5cdb963fbab7da56cd3d593dda8b1886bcf0cc1d8e2d353a5fc13ef1f9d272a1",
      "size": 274935,
      "subdir": "linux-64",
      "timestamp": 1781624126151,
      "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": "213bb6b4f8c5f2c646c018b53fac6e33",
      "name": "z3-solver",
      "sha256": "487fcccb232133f6922edc505bef230da3afb23e8b03bd6c6e416c391c93df34",
      "size": 281872,
      "subdir": "linux-64",
      "timestamp": 1781624131199,
      "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": "0800e4f207bf31d07e3c4590f73e8711",
      "name": "z3-solver",
      "sha256": "6cb95f53c32d11d99c73ccc56bc575127d4ac9b360b6738969f8f8289322accd",
      "size": 282897,
      "subdir": "linux-64",
      "timestamp": 1781624128260,
      "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": "ef44d68513f24a556c197781e0d0050c",
      "name": "z3prover",
      "sha256": "0048cfb61f597676d29147d2b6312f41f5bf5e73677343ec647457a674965b28",
      "size": 11686,
      "subdir": "linux-64",
      "timestamp": 1781624126976,
      "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": "416b7723a3a5f77f53f3a143bf590d48",
      "name": "z3prover",
      "sha256": "8eaacd592bf0a7fc6f83b7677dce934662ed7f3e006480ba79e933155813a8da",
      "size": 11694,
      "subdir": "linux-64",
      "timestamp": 1781624127557,
      "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": "a63b4566fba5cf0c85e66dd07d710a3f",
      "name": "z3prover",
      "sha256": "1ddbf4825afabbd39c9cce4ebf74d71f517f1b225918ae875662d3464f8411dd",
      "size": 11708,
      "subdir": "linux-64",
      "timestamp": 1781624126947,
      "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": "ca50bdf684711bbb651852c1aa721469",
      "name": "z3prover",
      "sha256": "bac461d8bb4ae572afa6148f1f09ec51dba8b867c3dd6dacbb56b39c230ba9f5",
      "size": 11700,
      "subdir": "linux-64",
      "timestamp": 1781624132044,
      "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": "308fffcef743e5cb91d97e6b16581082",
      "name": "z3prover",
      "sha256": "44aa3e2ead0d0ad30675f8da3bb374e84c12d050e68a3642428539a38c74e8de",
      "size": 11697,
      "subdir": "linux-64",
      "timestamp": 1781624129104,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}