| Parent directory/ | - | - |
| z3_4.8.10-1.dsc | 2645 | 2021-Jan-30 02:20 |
| z3_4.8.12-3.1.dsc | 2663 | 2023-Feb-02 00:12 |
| z3_4.13.3-1.dsc | 2704 | 2024-Nov-05 16:40 |
| z3_4.13.3-1.1.dsc | 2771 | 2026-May-04 22:07 |
| z3_4.8.10-1.debian.tar.xz | 10112 | 2021-Jan-30 02:20 |
| z3_4.8.12-3.1.debian.tar.xz | 10420 | 2023-Feb-02 00:12 |
| z3_4.13.3-1.debian.tar.xz | 10696 | 2024-Nov-05 16:40 |
| z3_4.13.3-1.1.debian.tar.xz | 10736 | 2026-May-04 22:07 |
| libz3-jni_4.8.12-3.1_armel.deb | 28432 | 2023-Feb-02 02:14 |
| libz3-jni_4.8.12-3.1_armhf.deb | 29968 | 2023-Feb-02 01:58 |
| libz3-jni_4.8.10-1_armhf.deb | 30456 | 2021-Jan-30 03:17 |
| libz3-jni_4.8.12-3.1_arm64.deb | 30644 | 2023-Feb-02 01:58 |
| libz3-jni_4.8.10-1_arm64.deb | 30660 | 2021-Jan-30 03:17 |
| libz3-jni_4.13.3-1_armel.deb | 32404 | 2024-Nov-05 17:57 |
| libz3-jni_4.8.12-3.1_amd64.deb | 32452 | 2023-Feb-02 01:28 |
| libz3-jni_4.8.10-1_amd64.deb | 32728 | 2021-Jan-30 03:12 |
| libz3-jni_4.8.12-3.1_s390x.deb | 33316 | 2023-Feb-02 01:23 |
| libz3-jni_4.8.12-3.1_mips64el.deb | 34296 | 2023-Feb-03 05:59 |
| libz3-jni_4.13.3-1_armhf.deb | 34596 | 2024-Nov-05 17:47 |
| libz3-jni_4.13.3-1.1_armhf.deb | 35124 | 2026-May-14 16:42 |
| libz3-jni_4.13.3-1_arm64.deb | 35628 | 2024-Nov-05 18:18 |
| libz3-jni_4.13.3-1.1_arm64.deb | 35672 | 2026-May-14 16:42 |
| libz3-jni_4.13.3-1.1_riscv64.deb | 35720 | 2026-May-14 21:29 |
| libz3-jni_4.13.3-1_riscv64.deb | 35960 | 2024-Nov-06 18:24 |
| libz3-jni_4.8.12-3.1_ppc64el.deb | 36248 | 2023-Feb-02 15:57 |
| libz3-jni_4.8.12-3.1_mipsel.deb | 36300 | 2023-Feb-02 03:45 |
| libz3-jni_4.13.3-1.1_amd64.deb | 37104 | 2026-May-14 16:42 |
| libz3-jni_4.13.3-1_amd64.deb | 37436 | 2024-Nov-05 17:11 |
| libz3-jni_4.13.3-1.1_s390x.deb | 38668 | 2026-May-14 16:58 |
| libz3-jni_4.13.3-1_s390x.deb | 39088 | 2024-Nov-05 17:26 |
| libz3-jni_4.8.12-3.1_i386.deb | 40128 | 2023-Feb-02 01:22 |
| libz3-jni_4.8.10-1_i386.deb | 40184 | 2021-Jan-30 03:12 |
| libz3-jni_4.13.3-1_ppc64el.deb | 41372 | 2024-Nov-05 17:11 |
| libz3-jni_4.13.3-1.1_ppc64el.deb | 41444 | 2026-May-14 16:47 |
| libz3-jni_4.13.3-1.1_i386.deb | 45896 | 2026-May-14 16:47 |
| libz3-jni_4.13.3-1_i386.deb | 46216 | 2024-Nov-05 17:16 |
| python3-z3_4.8.10-1_armhf.deb | 78100 | 2021-Jan-30 03:17 |
| python3-z3_4.8.10-1_arm64.deb | 78100 | 2021-Jan-30 03:17 |
| python3-z3_4.8.10-1_i386.deb | 78100 | 2021-Jan-30 03:12 |
| python3-z3_4.8.10-1_amd64.deb | 78104 | 2021-Jan-30 03:12 |
| python3-z3_4.8.12-3.1_arm64.deb | 78304 | 2023-Feb-02 01:58 |
| python3-z3_4.8.12-3.1_amd64.deb | 78304 | 2023-Feb-02 01:28 |
| python3-z3_4.8.12-3.1_mips64el.deb | 78304 | 2023-Feb-03 05:59 |
| python3-z3_4.8.12-3.1_mipsel.deb | 78308 | 2023-Feb-02 03:45 |
| python3-z3_4.8.12-3.1_ppc64el.deb | 78308 | 2023-Feb-02 15:57 |
| python3-z3_4.8.12-3.1_s390x.deb | 78308 | 2023-Feb-02 01:23 |
| python3-z3_4.8.12-3.1_armel.deb | 78308 | 2023-Feb-02 02:14 |
| python3-z3_4.8.12-3.1_i386.deb | 78308 | 2023-Feb-02 01:22 |
| python3-z3_4.8.12-3.1_armhf.deb | 78308 | 2023-Feb-02 01:58 |
| python3-z3_4.13.3-1_armel.deb | 83500 | 2024-Nov-05 17:57 |
| python3-z3_4.13.3-1_s390x.deb | 83500 | 2024-Nov-05 17:26 |
| python3-z3_4.13.3-1_armhf.deb | 83500 | 2024-Nov-05 17:47 |
| python3-z3_4.13.3-1_arm64.deb | 83500 | 2024-Nov-05 18:18 |
| python3-z3_4.13.3-1_i386.deb | 83500 | 2024-Nov-05 17:16 |
| python3-z3_4.13.3-1_amd64.deb | 83500 | 2024-Nov-05 17:11 |
| python3-z3_4.13.3-1_ppc64el.deb | 83504 | 2024-Nov-05 17:11 |
| python3-z3_4.13.3-1_riscv64.deb | 83504 | 2024-Nov-06 18:24 |
| python3-z3_4.13.3-1.1_i386.deb | 83512 | 2026-May-14 16:47 |
| python3-z3_4.13.3-1.1_arm64.deb | 83516 | 2026-May-14 16:42 |
| python3-z3_4.13.3-1.1_amd64.deb | 83516 | 2026-May-14 16:42 |
| python3-z3_4.13.3-1.1_ppc64el.deb | 83516 | 2026-May-14 16:47 |
| python3-z3_4.13.3-1.1_loong64.deb | 83516 | 2026-May-14 17:13 |
| python3-z3_4.13.3-1.1_armhf.deb | 83516 | 2026-May-14 16:42 |
| python3-z3_4.13.3-1.1_riscv64.deb | 83516 | 2026-May-14 21:29 |
| python3-z3_4.13.3-1.1_s390x.deb | 83516 | 2026-May-14 16:58 |
| libz3-dev_4.8.12-3.1_mipsel.deb | 90552 | 2023-Feb-02 03:45 |
| libz3-dev_4.8.12-3.1_i386.deb | 90556 | 2023-Feb-02 01:22 |
| libz3-dev_4.8.12-3.1_s390x.deb | 90556 | 2023-Feb-02 01:23 |
| libz3-dev_4.8.12-3.1_armel.deb | 90556 | 2023-Feb-02 02:14 |
| libz3-dev_4.8.12-3.1_arm64.deb | 90560 | 2023-Feb-02 01:58 |
| libz3-dev_4.8.12-3.1_amd64.deb | 90560 | 2023-Feb-02 01:28 |
| libz3-dev_4.8.12-3.1_mips64el.deb | 90564 | 2023-Feb-03 05:59 |
| libz3-dev_4.8.12-3.1_armhf.deb | 90564 | 2023-Feb-02 01:58 |
| libz3-dev_4.8.12-3.1_ppc64el.deb | 90564 | 2023-Feb-02 15:57 |
| libz3-dev_4.8.10-1_i386.deb | 90828 | 2021-Jan-30 03:12 |
| libz3-dev_4.8.10-1_amd64.deb | 90828 | 2021-Jan-30 03:12 |
| libz3-dev_4.8.10-1_arm64.deb | 90832 | 2021-Jan-30 03:17 |
| libz3-dev_4.8.10-1_armhf.deb | 90836 | 2021-Jan-30 03:17 |
| libz3-dev_4.13.3-1.1_riscv64.deb | 104504 | 2026-May-14 21:29 |
| libz3-dev_4.13.3-1.1_i386.deb | 104504 | 2026-May-14 16:47 |
| libz3-dev_4.13.3-1.1_s390x.deb | 104508 | 2026-May-14 16:58 |
| libz3-dev_4.13.3-1.1_arm64.deb | 104508 | 2026-May-14 16:42 |
| libz3-dev_4.13.3-1.1_amd64.deb | 104508 | 2026-May-14 16:42 |
| libz3-dev_4.13.3-1.1_loong64.deb | 104512 | 2026-May-14 17:13 |
| libz3-dev_4.13.3-1.1_ppc64el.deb | 104512 | 2026-May-14 16:47 |
| libz3-dev_4.13.3-1.1_armhf.deb | 104512 | 2026-May-14 16:42 |
| libz3-dev_4.13.3-1_arm64.deb | 106528 | 2024-Nov-05 18:18 |
| libz3-dev_4.13.3-1_amd64.deb | 106528 | 2024-Nov-05 17:11 |
| libz3-dev_4.13.3-1_i386.deb | 106528 | 2024-Nov-05 17:16 |
| libz3-dev_4.13.3-1_s390x.deb | 106528 | 2024-Nov-05 17:26 |
| libz3-dev_4.13.3-1_armel.deb | 106528 | 2024-Nov-05 17:57 |
| libz3-dev_4.13.3-1_armhf.deb | 106532 | 2024-Nov-05 17:47 |
| libz3-dev_4.13.3-1_riscv64.deb | 106532 | 2024-Nov-06 18:24 |
| libz3-dev_4.13.3-1_ppc64el.deb | 106536 | 2024-Nov-05 17:11 |
| libz3-java_4.8.10-1_armhf.deb | 159336 | 2021-Jan-30 03:17 |
| libz3-java_4.8.10-1_i386.deb | 159336 | 2021-Jan-30 03:12 |
| libz3-java_4.8.10-1_arm64.deb | 159336 | 2021-Jan-30 03:17 |
| libz3-java_4.8.10-1_amd64.deb | 159340 | 2021-Jan-30 03:12 |
| libz3-java_4.8.12-3.1_amd64.deb | 163148 | 2023-Feb-02 01:28 |
| libz3-java_4.8.12-3.1_arm64.deb | 163148 | 2023-Feb-02 01:58 |
| libz3-java_4.8.12-3.1_i386.deb | 163148 | 2023-Feb-02 01:22 |
| libz3-java_4.8.12-3.1_armhf.deb | 163148 | 2023-Feb-02 01:58 |
| libz3-java_4.8.12-3.1_s390x.deb | 163148 | 2023-Feb-02 01:23 |
| libz3-java_4.8.12-3.1_ppc64el.deb | 163148 | 2023-Feb-02 15:57 |
| libz3-java_4.8.12-3.1_armel.deb | 163148 | 2023-Feb-02 02:14 |
| libz3-java_4.8.12-3.1_mipsel.deb | 163148 | 2023-Feb-02 03:45 |
| libz3-java_4.8.12-3.1_mips64el.deb | 163152 | 2023-Feb-03 05:59 |
| libz3-java_4.13.3-1_armhf.deb | 182208 | 2024-Nov-05 17:47 |
| libz3-java_4.13.3-1_arm64.deb | 182208 | 2024-Nov-05 18:18 |
| libz3-java_4.13.3-1_amd64.deb | 182208 | 2024-Nov-05 17:11 |
| libz3-java_4.13.3-1_i386.deb | 182208 | 2024-Nov-05 17:16 |
| libz3-java_4.13.3-1_armel.deb | 182208 | 2024-Nov-05 17:57 |
| libz3-java_4.13.3-1_s390x.deb | 182208 | 2024-Nov-05 17:26 |
| libz3-java_4.13.3-1_ppc64el.deb | 182212 | 2024-Nov-05 17:11 |
| libz3-java_4.13.3-1_riscv64.deb | 182212 | 2024-Nov-06 18:24 |
| libz3-java_4.13.3-1.1_ppc64el.deb | 182348 | 2026-May-14 16:47 |
| libz3-java_4.13.3-1.1_riscv64.deb | 182348 | 2026-May-14 21:29 |
| libz3-java_4.13.3-1.1_i386.deb | 182348 | 2026-May-14 16:47 |
| libz3-java_4.13.3-1.1_s390x.deb | 182352 | 2026-May-14 16:58 |
| libz3-java_4.13.3-1.1_amd64.deb | 182352 | 2026-May-14 16:42 |
| libz3-java_4.13.3-1.1_arm64.deb | 182352 | 2026-May-14 16:42 |
| libz3-java_4.13.3-1.1_armhf.deb | 182352 | 2026-May-14 16:42 |
| z3_4.8.10.orig.tar.gz | 4731869 | 2021-Jan-30 02:20 |
| z3_4.8.12.orig.tar.gz | 4803435 | 2021-Sep-12 01:38 |
| z3_4.13.3.orig.tar.gz | 5583533 | 2024-Nov-05 16:40 |
| libz3-4_4.8.12-3.1_armel.deb | 5801428 | 2023-Feb-02 02:14 |
| z3_4.8.12-3.1_armel.deb | 5811420 | 2023-Feb-02 02:14 |
| libz3-4_4.8.10-1_armhf.deb | 5958512 | 2021-Jan-30 03:17 |
| z3_4.8.10-1_armhf.deb | 5974420 | 2021-Jan-30 03:17 |
| libz3-4_4.8.12-3.1_armhf.deb | 6060724 | 2023-Feb-02 01:58 |
| z3_4.8.12-3.1_armhf.deb | 6075200 | 2023-Feb-02 01:58 |
| libz3-4_4.8.12-3.1_mips64el.deb | 6104624 | 2023-Feb-03 05:59 |
| libz3-4_4.8.12-3.1_mipsel.deb | 6108680 | 2023-Feb-02 03:45 |
| libz3-4_4.8.10-1_arm64.deb | 6116964 | 2021-Jan-30 03:17 |
| z3_4.8.10-1_arm64.deb | 6125564 | 2021-Jan-30 03:17 |
| z3_4.8.12-3.1_mipsel.deb | 6136560 | 2023-Feb-02 03:45 |
| z3_4.8.12-3.1_mips64el.deb | 6145228 | 2023-Feb-03 05:59 |
| libz3-4_4.8.12-3.1_arm64.deb | 6281640 | 2023-Feb-02 01:58 |
| z3_4.8.12-3.1_arm64.deb | 6286332 | 2023-Feb-02 01:58 |
| libz3-4_4.8.12-3.1_s390x.deb | 6355968 | 2023-Feb-02 01:23 |
| z3_4.8.12-3.1_s390x.deb | 6367924 | 2023-Feb-02 01:23 |
| libz3-4_4.8.10-1_amd64.deb | 6949460 | 2021-Jan-30 03:12 |
| z3_4.13.3-1_armel.deb | 6962056 | 2024-Nov-05 17:57 |
| z3_4.8.10-1_amd64.deb | 6966116 | 2021-Jan-30 03:12 |
| libz3-4_4.13.3-1_armel.deb | 6967784 | 2024-Nov-05 17:57 |
| libz3-4_4.8.12-3.1_amd64.deb | 7216172 | 2023-Feb-02 01:28 |
| z3_4.8.12-3.1_amd64.deb | 7229996 | 2023-Feb-02 01:28 |
| libz3-4_4.13.3-1_armhf.deb | 7251652 | 2024-Nov-05 17:47 |
| z3_4.13.3-1_armhf.deb | 7254348 | 2024-Nov-05 17:47 |
| libz3-4_4.13.3-1.1_armhf.deb | 7306304 | 2026-May-14 16:42 |
| z3_4.13.3-1.1_armhf.deb | 7309960 | 2026-May-14 16:42 |
| libz3-4_4.8.12-3.1_ppc64el.deb | 7344712 | 2023-Feb-02 15:57 |
| z3_4.13.3-1.1_arm64.deb | 7360868 | 2026-May-14 16:42 |
| z3_4.8.12-3.1_ppc64el.deb | 7361172 | 2023-Feb-02 15:57 |
| libz3-4_4.13.3-1.1_arm64.deb | 7361388 | 2026-May-14 16:42 |
| z3_4.13.3-1_arm64.deb | 7503940 | 2024-Nov-05 18:18 |
| libz3-4_4.13.3-1_arm64.deb | 7506868 | 2024-Nov-05 18:18 |
| libz3-4_4.8.10-1_i386.deb | 7737496 | 2021-Jan-30 03:12 |
| z3_4.8.10-1_i386.deb | 7758716 | 2021-Jan-30 03:12 |
| libz3-4_4.8.12-3.1_i386.deb | 7853080 | 2023-Feb-02 01:22 |
| z3_4.8.12-3.1_i386.deb | 7872004 | 2023-Feb-02 01:22 |
| z3_4.13.3-1.1_loong64.deb | 8182176 | 2026-May-14 17:13 |
| libz3-4_4.13.3-1.1_loong64.deb | 8183260 | 2026-May-14 17:13 |
| z3_4.13.3-1_riscv64.deb | 8512780 | 2024-Nov-06 18:24 |
| libz3-4_4.13.3-1_riscv64.deb | 8514476 | 2024-Nov-06 18:24 |
| libz3-4_4.13.3-1_amd64.deb | 8560036 | 2024-Nov-05 17:11 |
| libz3-4_4.13.3-1_ppc64el.deb | 8560040 | 2024-Nov-05 17:11 |
| z3_4.13.3-1_ppc64el.deb | 8561928 | 2024-Nov-05 17:11 |
| z3_4.13.3-1_amd64.deb | 8566180 | 2024-Nov-05 17:11 |
| z3_4.13.3-1.1_riscv64.deb | 8606836 | 2026-May-14 21:29 |
| libz3-4_4.13.3-1.1_riscv64.deb | 8607404 | 2026-May-14 21:29 |
| libz3-4_4.13.3-1.1_amd64.deb | 8643868 | 2026-May-14 16:42 |
| z3_4.13.3-1.1_amd64.deb | 8649548 | 2026-May-14 16:42 |
| libz3-4_4.13.3-1.1_ppc64el.deb | 8730076 | 2026-May-14 16:47 |
| z3_4.13.3-1.1_ppc64el.deb | 8732044 | 2026-May-14 16:47 |
| libz3-4_4.13.3-1.1_s390x.deb | 9040136 | 2026-May-14 16:58 |
| z3_4.13.3-1.1_s390x.deb | 9042468 | 2026-May-14 16:58 |
| libz3-4_4.13.3-1_s390x.deb | 9094884 | 2024-Nov-05 17:26 |
| z3_4.13.3-1_s390x.deb | 9096532 | 2024-Nov-05 17:26 |
| libz3-4_4.13.3-1_i386.deb | 9210568 | 2024-Nov-05 17:16 |
| z3_4.13.3-1_i386.deb | 9218528 | 2024-Nov-05 17:16 |
| libz3-4_4.13.3-1.1_i386.deb | 9235712 | 2026-May-14 16:47 |
| z3_4.13.3-1.1_i386.deb | 9240768 | 2026-May-14 16:47 |