{
  "info": {
    "subdir": "linux-aarch64"
  },
  "packages": {
    "libz3-4.15.4-h86909b6_0.tar.bz2": {
      "build": "h86909b6_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": "164bd2723c43eb8b7775225b400a72ed",
      "name": "libz3",
      "sha256": "df8a48aed44862fe259a6326354692984e4428492ced23de29ec4e61d059bb29",
      "size": 25497437,
      "subdir": "linux-aarch64",
      "timestamp": 1781620329485,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h86909b6_0.tar.bz2": {
      "build": "py310h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "383feeb306cbbb10d416f266f77bb93d",
      "name": "z3-solver",
      "sha256": "d87d24e0c755482fad08fb466220a0c7cfab42ed142522af14d2ff55102e3c5f",
      "size": 234393,
      "subdir": "linux-aarch64",
      "timestamp": 1781620380901,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h86909b6_0.tar.bz2": {
      "build": "py311h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "95d7f72df8534df59883e2e6a256210f",
      "name": "z3-solver",
      "sha256": "e7bf998842bc623369335d18df84cd61a3509d3afc5abc015aee29a0208eee14",
      "size": 298288,
      "subdir": "linux-aarch64",
      "timestamp": 1781620340457,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h86909b6_0.tar.bz2": {
      "build": "py312h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "903bbb876652edf02bb0b9dd6783573a",
      "name": "z3-solver",
      "sha256": "bb9d75639ecff44d9b474a2b64e84f93ad40de21198279d17068f1f23c320c47",
      "size": 289391,
      "subdir": "linux-aarch64",
      "timestamp": 1781620350020,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h86909b6_0.tar.bz2": {
      "build": "py313h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "50994afef99ff9cfb0c6d097db857a40",
      "name": "z3-solver",
      "sha256": "4d7a9276cd2e75584b413e6605740185e60a304d84881c405bf9e44c8730edad",
      "size": 296531,
      "subdir": "linux-aarch64",
      "timestamp": 1781620325071,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h86909b6_0.tar.bz2": {
      "build": "py314h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "683acf8e72e823f886ecd8bb453c1aef",
      "name": "z3-solver",
      "sha256": "59fd8dabf91913869384208cb98b5b6f95c68300cf0954930831f92cb62fbd80",
      "size": 285796,
      "subdir": "linux-aarch64",
      "timestamp": 1781620383381,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hdf96579_0.tar.bz2": {
      "build": "py310hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "4926f10ddf0aac647fd103d846c2385c",
      "name": "z3prover",
      "sha256": "86c74df5481a6b5ae7c18a0e05d94ec8a95d7fae0e63ec143fe71403ffcd9d56",
      "size": 10948,
      "subdir": "linux-aarch64",
      "timestamp": 1781620381585,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hdf96579_0.tar.bz2": {
      "build": "py311hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "590ebcefc974e5271b0d908fd1326fa1",
      "name": "z3prover",
      "sha256": "16167d27e4c8921bb13247687d7cd98367afb0f38d4bdfe2617e5d4aaacc8937",
      "size": 10925,
      "subdir": "linux-aarch64",
      "timestamp": 1781620341314,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hdf96579_0.tar.bz2": {
      "build": "py312hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "c56c49b59107add21e24bcf74722a6fc",
      "name": "z3prover",
      "sha256": "405069cbe71bd1397931e27badc48723717e2c2c39222b636790c4a8d97b8d14",
      "size": 10923,
      "subdir": "linux-aarch64",
      "timestamp": 1781620350880,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hdf96579_0.tar.bz2": {
      "build": "py313hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "52039514cbf65bff8a0663fc4d6377c7",
      "name": "z3prover",
      "sha256": "1de7f6b568674560cbbbaee525a83b220567e07761ee096b9280d3c5888a64d0",
      "size": 10955,
      "subdir": "linux-aarch64",
      "timestamp": 1781620325894,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hdf96579_0.tar.bz2": {
      "build": "py314hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "e1233a45328af56eebdd92259e5f587c",
      "name": "z3prover",
      "sha256": "cf21b4ea0d3dbf2ac383d18d839ec87c20f9fa7578d1c330bd7cf1fa26b3a929",
      "size": 10959,
      "subdir": "linux-aarch64",
      "timestamp": 1781620384239,
      "version": "4.15.4"
    }
  },
  "packages.conda": {
    "libz3-4.15.4-h86909b6_0.conda": {
      "build": "h86909b6_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": "b31d5ebacf1ca08c16b053cfdb78f44b",
      "name": "libz3",
      "sha256": "e1901aaef1cea7a70014ea8557386094893a72857f93b0150010d31cbaa87682",
      "size": 22158121,
      "subdir": "linux-aarch64",
      "timestamp": 1781620329485,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py310h86909b6_0.conda": {
      "build": "py310h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "9d7c479b77431c8f132d080469c34772",
      "name": "z3-solver",
      "sha256": "4c626d3f783986aa6117e70e384f3fa6b94273a678a440a88a822dfd51c9ab04",
      "size": 216215,
      "subdir": "linux-aarch64",
      "timestamp": 1781620380901,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py311h86909b6_0.conda": {
      "build": "py311h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "7f90ce7b497fe99f048caabf214e644f",
      "name": "z3-solver",
      "sha256": "9aae754782582952e8e39be59010ae4c7574fb8a221676b9bac03cd3ffd5308c",
      "size": 282020,
      "subdir": "linux-aarch64",
      "timestamp": 1781620340457,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py312h86909b6_0.conda": {
      "build": "py312h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "84f1010b1ebac1b28cf2c344f1725859",
      "name": "z3-solver",
      "sha256": "46a9025730bc00f7d453a9ffd4bac9ad67886a04bfb0ad8e41af2c3cf2df31c4",
      "size": 271822,
      "subdir": "linux-aarch64",
      "timestamp": 1781620350020,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py313h86909b6_0.conda": {
      "build": "py313h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "b78a768fd9364a5bb14617b2f964b047",
      "name": "z3-solver",
      "sha256": "6df101003e4bdf9c0bba6ea31295afe100f1e0698c986db5a8fba06f492f2343",
      "size": 282106,
      "subdir": "linux-aarch64",
      "timestamp": 1781620325071,
      "version": "4.15.4"
    },
    "z3-solver-4.15.4-py314h86909b6_0.conda": {
      "build": "py314h86909b6_0",
      "build_number": 0,
      "depends": [
        "__glibc >=2.28,<3.0.a0",
        "_openmp_mutex * *_gnu",
        "libgcc >=14",
        "libstdcxx >=14",
        "libz3 4.15.4 h86909b6_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "8c8313f7aea74c4df9049e68982c7531",
      "name": "z3-solver",
      "sha256": "5cdd51dfbb0b7d951a47bf4df872d68baa01befd1156371ff6744441e8f4adc8",
      "size": 285953,
      "subdir": "linux-aarch64",
      "timestamp": 1781620383381,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py310hdf96579_0.conda": {
      "build": "py310hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.10,<3.11.0a0"
      ],
      "license": "MIT",
      "md5": "caf7a9bc515ca7083f37c3f0a6211392",
      "name": "z3prover",
      "sha256": "81d09793018ad815d85191c4f268eca32a0e39282e1671d72844eeffa756b892",
      "size": 11314,
      "subdir": "linux-aarch64",
      "timestamp": 1781620381585,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py311hdf96579_0.conda": {
      "build": "py311hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.11,<3.12.0a0"
      ],
      "license": "MIT",
      "md5": "19564161b7c527d66ae8d129c2e5020a",
      "name": "z3prover",
      "sha256": "f25bfab1e4d105dda411ca688523f6aabba8bbd8f380f49987bd3e621b35e9a1",
      "size": 11346,
      "subdir": "linux-aarch64",
      "timestamp": 1781620341314,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py312hdf96579_0.conda": {
      "build": "py312hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.12,<3.13.0a0"
      ],
      "license": "MIT",
      "md5": "80ad6cedea1ac4888a54ec3a2f35a7e9",
      "name": "z3prover",
      "sha256": "675b21fd87324fcc913f7284f075cb42ca5d96fb298806a6450df4c09df4f8d9",
      "size": 11343,
      "subdir": "linux-aarch64",
      "timestamp": 1781620350880,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py313hdf96579_0.conda": {
      "build": "py313hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.13,<3.14.0a0",
        "python_abi 3.13.* *_cp313"
      ],
      "license": "MIT",
      "md5": "8c09a3d5999d0e6c141f2e54e1cd2524",
      "name": "z3prover",
      "sha256": "ede14da00ac110162e471520d766ba15ce7460e7f4d3230b29fc67779f8be128",
      "size": 11370,
      "subdir": "linux-aarch64",
      "timestamp": 1781620325894,
      "version": "4.15.4"
    },
    "z3prover-4.15.4-py314hdf96579_0.conda": {
      "build": "py314hdf96579_0",
      "build_number": 0,
      "depends": [
        "libz3 4.15.4 h86909b6_0",
        "python >=3.14,<3.15.0a0",
        "python_abi 3.14.* *_cp314"
      ],
      "license": "MIT",
      "md5": "e1bedc055041eb9810c4e40096c7c2f3",
      "name": "z3prover",
      "sha256": "417bdb75e251567a38a6bcf9e0c0a618172be93f55808f75b865834e5b8b71fb",
      "size": 11354,
      "subdir": "linux-aarch64",
      "timestamp": 1781620384239,
      "version": "4.15.4"
    }
  },
  "removed": [],
  "repodata_version": 1
}