bitwuzla-dev_0.8.2-4_amd64.deb
bitwuzla-doc_0.8.2-4_all.deb
bitwuzla_0.8.2-4.debian.tar.xz
bitwuzla_0.8.2-4.dsc
bitwuzla_0.8.2-4_amd64.deb
bitwuzla_0.8.2.orig.tar.gz
libbitwuzla0_0.8.2-4_amd64.deb
python3-bitwuzla_0.8.2-4_amd64.deb