Index of /debian-ports/pool-sparc64/main/b/bitwuzla/

../
bitwuzla-dev_0.8.2-4+b1_sparc64.deb                27-Oct-2026 18:03               25760
bitwuzla_0.8.2-4+b1_sparc64.buildinfo              27-Oct-2026 18:03               12344
bitwuzla_0.8.2-4+b1_sparc64.deb                    27-Oct-2026 18:03               28080
libbitwuzla0_0.8.2-4+b1_sparc64.deb                27-Oct-2026 18:03             1102376
python3-bitwuzla_0.8.2-4+b1_sparc64.deb            27-Oct-2026 18:03              142388