Index of /ubuntu-ports/pool/universe/b/bitwuzla

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[   ] bitwuzla-dev_0.8.2-2_riscv64.deb     2026-05-29 01:26   25K  
[   ] bitwuzla_0.8.2-2.debian.tar.xz       2026-05-26 01:50  4.3K  
[TXT] bitwuzla_0.8.2-2.dsc                 2026-05-26 01:50  2.5K  
[   ] bitwuzla_0.8.2-2_riscv64.deb         2026-05-29 01:26   34K  
[   ] bitwuzla_0.8.2.orig.tar.gz           2026-05-26 01:50  2.0M  
[   ] libbitwuzla0_0.8.2-2_riscv64.deb     2026-05-29 01:26  1.6M  
[   ] python3-bitwuzla_0.8.2-2_riscv64.deb 2026-05-29 01:26  150K
Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80