Studenten Net Twente Mirror service

Index of /pub/os/linux/debian/pool/main/b/bitwuzla/

Filename Modification time Size
bitwuzla-dev_0.8.2-3_amd64.deb 25 KiB
bitwuzla-dev_0.8.2-3_arm64.deb 25 KiB
bitwuzla-dev_0.8.2-3_i386.deb 25 KiB
bitwuzla-dev_0.8.2-3_loong64.deb 25 KiB
bitwuzla-dev_0.8.2-3_riscv64.deb 25 KiB
bitwuzla-dev_0.8.2-4_amd64.deb 25 KiB
bitwuzla-dev_0.8.2-4_arm64.deb 25 KiB
bitwuzla-dev_0.8.2-4_i386.deb 25 KiB
bitwuzla-dev_0.8.2-4_loong64.deb 25 KiB
bitwuzla-dev_0.8.2-4_riscv64.deb 25 KiB
bitwuzla-doc_0.8.2-3_all.deb 206 KiB
bitwuzla-doc_0.8.2-4_all.deb 206 KiB
bitwuzla_0.8.2-3.debian.tar.xz 4632 B
bitwuzla_0.8.2-3.dsc 2535 B
bitwuzla_0.8.2-3_amd64.deb 37 KiB
bitwuzla_0.8.2-3_arm64.deb 30 KiB
bitwuzla_0.8.2-3_i386.deb 38 KiB
bitwuzla_0.8.2-3_loong64.deb 31 KiB
bitwuzla_0.8.2-3_riscv64.deb 31 KiB
bitwuzla_0.8.2-4.debian.tar.xz 4724 B
bitwuzla_0.8.2-4.dsc 2535 B
bitwuzla_0.8.2-4_amd64.deb 41 KiB
bitwuzla_0.8.2-4_arm64.deb 30 KiB
bitwuzla_0.8.2-4_i386.deb 39 KiB
bitwuzla_0.8.2-4_loong64.deb 31 KiB
bitwuzla_0.8.2-4_riscv64.deb 31 KiB
bitwuzla_0.8.2.orig.tar.gz 2032 KiB
libbitwuzla0_0.8.2-3_amd64.deb 1481 KiB
libbitwuzla0_0.8.2-3_arm64.deb 1221 KiB
libbitwuzla0_0.8.2-3_i386.deb 1679 KiB
libbitwuzla0_0.8.2-3_loong64.deb 1345 KiB
libbitwuzla0_0.8.2-3_riscv64.deb 1438 KiB
libbitwuzla0_0.8.2-4_amd64.deb 1486 KiB
libbitwuzla0_0.8.2-4_arm64.deb 1196 KiB
libbitwuzla0_0.8.2-4_i386.deb 1665 KiB
libbitwuzla0_0.8.2-4_loong64.deb 1298 KiB
libbitwuzla0_0.8.2-4_riscv64.deb 1391 KiB
python3-bitwuzla_0.8.2-3_amd64.deb 205 KiB
python3-bitwuzla_0.8.2-3_arm64.deb 172 KiB
python3-bitwuzla_0.8.2-3_i386.deb 178 KiB
python3-bitwuzla_0.8.2-3_loong64.deb 180 KiB
python3-bitwuzla_0.8.2-3_riscv64.deb 195 KiB
python3-bitwuzla_0.8.2-4_amd64.deb 144 KiB
python3-bitwuzla_0.8.2-4_arm64.deb 115 KiB
python3-bitwuzla_0.8.2-4_i386.deb 141 KiB
python3-bitwuzla_0.8.2-4_loong64.deb 125 KiB
python3-bitwuzla_0.8.2-4_riscv64.deb 130 KiB