ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/b/bitwuzla/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
bitwuzla_0.8.2.orig.tar.gz 2M23-Feb-2026 19:31
bitwuzla_0.8.2-2.debian.tar.xz 436402-Mar-2026 20:15
bitwuzla_0.8.2-2.dsc 251802-Mar-2026 20:15
bitwuzla_0.8.2-3.dsc 253521-Jul-2026 13:08
bitwuzla_0.8.2-3.debian.tar.xz 463221-Jul-2026 13:08
bitwuzla-dev_0.8.2-3_arm64.deb 25K21-Jul-2026 13:38
python3-bitwuzla_0.8.2-3_arm64.deb 172K21-Jul-2026 13:38
bitwuzla_0.8.2-3_arm64.deb 30K21-Jul-2026 13:38
libbitwuzla0_0.8.2-3_arm64.deb 1M21-Jul-2026 13:38
bitwuzla-doc_0.8.2-3_all.deb 206K21-Jul-2026 13:43
libbitwuzla0_0.8.2-3_amd64.deb 1M21-Jul-2026 13:43
bitwuzla-dev_0.8.2-3_amd64.deb 25K21-Jul-2026 13:43
bitwuzla_0.8.2-3_amd64.deb 37K21-Jul-2026 13:43
python3-bitwuzla_0.8.2-3_amd64.deb 205K21-Jul-2026 13:43
bitwuzla_0.8.2-3_i386.deb 38K21-Jul-2026 13:48
libbitwuzla0_0.8.2-3_i386.deb 2M21-Jul-2026 13:48
bitwuzla-dev_0.8.2-3_i386.deb 25K21-Jul-2026 13:48
python3-bitwuzla_0.8.2-3_i386.deb 178K21-Jul-2026 13:48
bitwuzla-dev_0.8.2-3_loong64.deb 25K21-Jul-2026 13:53
bitwuzla_0.8.2-3_loong64.deb 31K21-Jul-2026 13:53
python3-bitwuzla_0.8.2-3_loong64.deb 180K21-Jul-2026 13:53
libbitwuzla0_0.8.2-3_loong64.deb 1M21-Jul-2026 13:53
bitwuzla-dev_0.8.2-3_riscv64.deb 25K23-Jul-2026 05:30
libbitwuzla0_0.8.2-3_riscv64.deb 1M23-Jul-2026 05:30
bitwuzla_0.8.2-3_riscv64.deb 31K23-Jul-2026 05:30
python3-bitwuzla_0.8.2-3_riscv64.deb 195K23-Jul-2026 05:30