python3-bitwuzla (0.8.2-2)

Details

Core information at a glance

Distribution: kali
Origin: kali-last-snapshot
Repository: https://http.kali.org/kali
Codename: kali-last-snapshot
Component: main
Source: bitwuzla
Architecture: i386
Section: python
Priority: optional
Maintainer: Debian Science Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 537 B
Size expected: 141.5 kB
Size actual: 141.5 kB
Size match

Dependencies

Required package dependencies

python3 (<< 3.14)
python3 (>= 3.13~)
python3:any (<< 3.14)
python3:any (>= 3.13~)
libbitwuzla0 (>= 0.8.2)
libc6 (>= 2.32)
libgcc-s1 (>= 4.2)
libstdc++6 (>= 13.1)

Suggested packages

Recommended additional packages

None

Description

SMT solver for bit vectors and arrays (Python bindings)

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	297bdb6a…cacda8b0	297bdb6a…cacda8b0
SHA-1	68d08b28…bc6d5162	68d08b28…bc6d5162
SHA-256	e359d9b0…90355d89	e359d9b0…90355d89
SHA-512	Not provided	5abb38db…2e375d91

Files and directories included

.
usr
usr/lib
usr/lib/python3
usr/lib/python3/dist-packages
usr/lib/python3/dist-packages/bitwuzla.cpython-313-i386-linux-gnu.so
usr/share
usr/share/doc
usr/share/doc/python3-bitwuzla
usr/share/doc/python3-bitwuzla/changelog.Debian.gz
usr/share/doc/python3-bitwuzla/copyright