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

../
z3_4.13.0_aarch64.deb                              08-Mar-2024 01:09            11151920
z3_4.13.0_arm.deb                                  08-Mar-2024 01:09            11271812
z3_4.13.0_i686.deb                                 08-Mar-2024 01:09            13427852
z3_4.13.0_x86_64.deb                               08-Mar-2024 01:09            13057120