zbitvector
View on PyPI — Reverse Dependencies (0)
Wheel Details
| Project: | zbitvector |
| Version: | 1.4.0 |
| Filename: | zbitvector-1.4.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl |
| Download: | [link] |
| Size: | 1422076 |
| MD5: | e01f471647ef537e43e0354a9c3f721e |
| SHA256: | 5fc75898304c2418a63c9d9402cf1c740f1e2adc874d43b9c2a2574424f4a569 |
| Uploaded: | 2024-10-27 01:11:07 +0000 |
dist-info
METADATA · WHEEL · RECORD · top_level.txt
METADATA
WHEEL
| Wheel-Version: | 1.0 |
| Generator: | setuptools (72.1.0) |
| Root-Is-Purelib: | false |
| Tag: | pp38-pypy38_pp73-manylinux_2_17_aarch64 |
| Tag: | pp38-pypy38_pp73-manylinux2014_aarch64 |
RECORD
| Path | Digest | Size |
|---|---|---|
| zbitvector/conftest.py | sha256=LzdVmckuHt3cHWXU1miqVTVQ6KbMvH7bL2gfcMEdcYQ | 866 |
| zbitvector/py.typed | sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU | 0 |
| zbitvector/pybitwuzla.pyi | sha256=bhSCvsAfaBuH1Xa7xTZJbsrg9mz4TiffYgVjeYSuY1g | 32210 |
| zbitvector/_bitwuzla.py | sha256=Lghi3_wfQ5xsFuQ32sp24QIjn0hrMDmnzuD7zHj1mHA | 12685 |
| zbitvector/_z3.py | sha256=X968wC-Foxi9VmYWSS7te9YkwAjLflRQ0-ZB0BeB3gk | 12488 |
| zbitvector/pybitwuzla.pypy38-pp73-aarch64-linux-gnu.so | sha256=qq7AoYAx51v7LFkY02c0yIq1JqmRQ_llzLRYI_mhKxw | 530561 |
| zbitvector/_util.py | sha256=Yg11DcWvRdEym3Rc1lzEtccalt3-EkImIm0yxxwm6D8 | 3761 |
| zbitvector/_abstract.py | sha256=3VHb4wkRK74_rNQHpLyiOJ-KqPOZ42jukltL1V00BuU | 18597 |
| zbitvector/__init__.py | sha256=K9_a_d-BWM4du-4Pbn3Jpog9BV9j8JlAQXCMoS5HXKY | 1202 |
| zbitvector/pybitwuzla/stubs.py | sha256=0zws1Gh7d-FgSja-YeoL1eoHwGMRtyu8yS1DcL_tomc | 3156 |
| zbitvector/pybitwuzla/pybitwuzla_enums.pxd | sha256=EegaQ9X-e7LEdUkH6DeuLVajPDbn5PQ8kLK7rk4Rlyw | 17750 |
| zbitvector/pybitwuzla/Makefile | sha256=ERCBuFZZR6M2rxyWOLw6j0qUJfZRs4ukZUxl1t_FTmE | 1166 |
| zbitvector/pybitwuzla/pybitwuzla.pyx | sha256=6Muile0VWvZK-5DRcDh4YgN7NgtMATbtkmFyFIwOc4I | 52946 |
| zbitvector/pybitwuzla/pybitwuzla_abort.diff | sha256=9g9KQJ1Aa_qlR1vkCtEbzJF18bWfXgBFlK_z5SYr5x4 | 820 |
| zbitvector/pybitwuzla/pybitwuzla_abort.cpp | sha256=ixZrM5jxpRYAJW8hzoln2zItSYfnpXF2Wwok-r0fx1A | 575 |
| zbitvector/pybitwuzla/pybitwuzla_enums.diff | sha256=pMSEHJeY9UWlPP-XKdSW7qO8S8JKcaaHgtnWFUcPzYM | 298 |
| zbitvector/pybitwuzla/bitwuzla_api.pxd | sha256=vgTR6y2t3rX92IMlkYITfRN7dUQ6H3BLFPA25jSyIS8 | 22705 |
| zbitvector/pybitwuzla/pybitwuzla_abort.h | sha256=m9ZHcdH485lngBbWjKnVJ4yB--cNNoNzjFFKzNV4wwA | 538 |
| zbitvector/pybitwuzla/pybitwuzla.diff | sha256=RPMK406ftJaCVvVBq0hDG2sCVmRefEr_xbiVCj1DXrE | 9813 |
| zbitvector/pybitwuzla/bitwuzla_api.diff | sha256=mToB2B4xwMwWlGVPgkGsoDaKbcY432-E7GE5oelljA4 | 564 |
| zbitvector.libs/libbitwuzla-0906a679.so | sha256=mlcYBtlAlJ8zvFIBxHrE6nXWtV_7wtOqY5zB7tfWahg | 2936233 |
| zbitvector.libs/libgmp-c0624462.so.10.5.0 | sha256=wVHXt9YTllOcilUa760wswXQ9AujKLSyMrYCTpl0Cpk | 605745 |
| zbitvector-1.4.0.dist-info/METADATA | sha256=aS9hahz1UxZ0UIzViCjTEnDtsHN4NjlFaBDgZS_DTYg | 905 |
| zbitvector-1.4.0.dist-info/THIRDPARTY | sha256=eDmZAHHlb-MMIPuzsvqhLBC1j-kYIfZ58XDzf8IZ16M | 31486 |
| zbitvector-1.4.0.dist-info/LICENSE | sha256=482cy4NVGPtR1G7ps66fM8XRUyzpL_snXaSZz5_X40A | 1071 |
| zbitvector-1.4.0.dist-info/WHEEL | sha256=0lH3LprjcCel3RSDKXD15RvfqP5anN5vr1W8p8ZNpVk | 163 |
| zbitvector-1.4.0.dist-info/top_level.txt | sha256=CnUbn9O3RT-V7BTcmYp8q5IH9zi7rvZws3q3H_b6VQo | 11 |
| zbitvector-1.4.0.dist-info/RECORD | — | — |
top_level.txt
zbitvector