(BIN) bitwuzla-dev_0.8.2-4+b1_amd64.deb
 (BIN) bitwuzla-dev_0.8.2-4+b1_arm64.deb
 (BIN) bitwuzla-dev_0.8.2-4+b1_i386.deb
 (BIN) bitwuzla-dev_0.8.2-4+b1_loong64.deb
 (BIN) bitwuzla-dev_0.8.2-4+b1_riscv64.deb
 (BIN) bitwuzla-doc_0.8.2-4_all.deb
 (BIN) bitwuzla_0.8.2-4+b1_amd64.deb
 (BIN) bitwuzla_0.8.2-4+b1_arm64.deb
 (BIN) bitwuzla_0.8.2-4+b1_i386.deb
 (BIN) bitwuzla_0.8.2-4+b1_loong64.deb
 (BIN) bitwuzla_0.8.2-4+b1_riscv64.deb
 (BIN) bitwuzla_0.8.2-4.debian.tar.xz
 (TXT) bitwuzla_0.8.2-4.dsc
 (BIN) bitwuzla_0.8.2.orig.tar.gz
 (BIN) libbitwuzla0_0.8.2-4+b1_amd64.deb
 (BIN) libbitwuzla0_0.8.2-4+b1_arm64.deb
 (BIN) libbitwuzla0_0.8.2-4+b1_i386.deb
 (BIN) libbitwuzla0_0.8.2-4+b1_loong64.deb
 (BIN) libbitwuzla0_0.8.2-4+b1_riscv64.deb
 (BIN) python3-bitwuzla_0.8.2-4+b1_amd64.deb
 (BIN) python3-bitwuzla_0.8.2-4+b1_arm64.deb
 (BIN) python3-bitwuzla_0.8.2-4+b1_i386.deb
 (BIN) python3-bitwuzla_0.8.2-4+b1_loong64.deb
 (BIN) python3-bitwuzla_0.8.2-4+b1_riscv64.deb