Studenten Net Twente Mirror service

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

Filename Modification time Size
bitwuzla-dev_0.8.2-1_amd64.deb 25 KiB
bitwuzla-dev_0.8.2-1_arm64.deb 25 KiB
bitwuzla-dev_0.8.2-1_i386.deb 25 KiB
bitwuzla-dev_0.8.2-1_loong64.deb 25 KiB
bitwuzla-doc_0.8.2-1_all.deb 200 KiB
bitwuzla_0.8.2-1.debian.tar.xz 4244 B
bitwuzla_0.8.2-1.dsc 2525 B
bitwuzla_0.8.2-1_amd64.deb 37 KiB
bitwuzla_0.8.2-1_arm64.deb 30 KiB
bitwuzla_0.8.2-1_i386.deb 38 KiB
bitwuzla_0.8.2-1_loong64.deb 31 KiB
bitwuzla_0.8.2.orig.tar.gz 2032 KiB
libbitwuzla0_0.8.2-1_amd64.deb 1472 KiB
libbitwuzla0_0.8.2-1_arm64.deb 1212 KiB
libbitwuzla0_0.8.2-1_i386.deb 1675 KiB
libbitwuzla0_0.8.2-1_loong64.deb 1339 KiB
python3-bitwuzla_0.8.2-1_amd64.deb 138 KiB
python3-bitwuzla_0.8.2-1_arm64.deb 117 KiB
python3-bitwuzla_0.8.2-1_i386.deb 138 KiB
python3-bitwuzla_0.8.2-1_loong64.deb 127 KiB