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