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

../
z3_4.12.2_aarch64.deb                              13-May-2023 01:04            10435068
z3_4.12.2_arm.deb                                  13-May-2023 01:04            10747924
z3_4.12.2_i686.deb                                 13-May-2023 01:04            12815428
z3_4.12.2_x86_64.deb                               13-May-2023 01:04            12635832