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

NameLast ModifiedSizeType
../ -  Directory
bitwuzla-dev_0.8.2-2_amd64.deb2026-Mar-02 18:38:4324.7Kapplication/octet-stream
bitwuzla-dev_0.8.2-2_i386.deb2026-Mar-02 18:43:4824.7Kapplication/octet-stream
bitwuzla-dev_0.8.2-2_loong64.deb2026-Mar-02 18:07:3624.7Kapplication/octet-stream
bitwuzla-doc_0.8.2-2_all.deb2026-Mar-02 18:02:34200.1Kapplication/octet-stream
bitwuzla_0.8.2-2.debian.tar.xz2026-Mar-02 17:15:204.2Kapplication/octet-stream
bitwuzla_0.8.2-2.dsc2026-Mar-02 17:15:202.4Kapplication/octet-stream
bitwuzla_0.8.2-2_amd64.deb2026-Mar-02 18:38:4336.7Kapplication/octet-stream
bitwuzla_0.8.2-2_i386.deb2026-Mar-02 18:43:4837.7Kapplication/octet-stream
bitwuzla_0.8.2-2_loong64.deb2026-Mar-02 18:07:3631.2Kapplication/octet-stream
bitwuzla_0.8.2.orig.tar.gz2026-Feb-23 16:31:431.9Mapplication/octet-stream
libbitwuzla0_0.8.2-2_amd64.deb2026-Mar-02 18:38:431.4Mapplication/octet-stream
libbitwuzla0_0.8.2-2_i386.deb2026-Mar-02 18:43:481.6Mapplication/octet-stream
libbitwuzla0_0.8.2-2_loong64.deb2026-Mar-02 18:07:361.3Mapplication/octet-stream
python3-bitwuzla_0.8.2-2_amd64.deb2026-Mar-02 18:38:43138.7Kapplication/octet-stream
python3-bitwuzla_0.8.2-2_i386.deb2026-Mar-02 18:43:48138.2Kapplication/octet-stream
python3-bitwuzla_0.8.2-2_loong64.deb2026-Mar-02 18:07:36126.7Kapplication/octet-stream
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences