Index of /debian-ports/pool-ppc64/main/z/z3/

../
libz3-4-dbgsym_4.13.3-1_ppc64.deb                  05-Nov-2024 12:03           174170548
libz3-4_4.13.3-1_ppc64.deb                         05-Nov-2024 12:03             8421616
libz3-dev_4.13.3-1_ppc64.deb                       05-Nov-2024 12:03              106536
python3-z3_4.13.3-1_ppc64.deb                      05-Nov-2024 12:03               83500
z3-dbgsym_4.13.3-1_ppc64.deb                       05-Nov-2024 12:03           175859872
z3_4.13.3-1_ppc64.buildinfo                        05-Nov-2024 12:03               14701
z3_4.13.3-1_ppc64.deb                              05-Nov-2024 12:03             8420916