Index of /termux-main/pool/main/z/z3/

../
z3_4.15.2_aarch64.deb                              25-Jun-2025 18:44            11718556
z3_4.15.2_arm.deb                                  25-Jun-2025 18:44            12144960
z3_4.15.2_i686.deb                                 25-Jun-2025 18:44            14351288
z3_4.15.2_x86_64.deb                               25-Jun-2025 18:44            13906608