File list of package python3-bitwuzla in sid of architecture x32

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