../ z3_4.13.2_aarch64.deb 27-Sep-2024 20:11 11118800 z3_4.13.2_arm.deb 27-Sep-2024 20:11 11497548 z3_4.13.2_i686.deb 27-Sep-2024 20:11 13622104 z3_4.13.2_x86_64.deb 27-Sep-2024 20:11 13228576