| ⬆️Parent directory | — | — |
| 📦libz3-4_4.13.3-1.1_amd64.deb | 8.25M | Thu May 14 2026 |
| 📦libz3-4_4.13.3-1.1_i386.deb | 8.81M | Thu May 14 2026 |
| 📦libz3-4_4.13.3-1_amd64.deb | 8.17M | Tue Nov 05 2024 |
| 📦libz3-4_4.13.3-1_i386.deb | 8.79M | Tue Nov 05 2024 |
| 📦libz3-4_4.8.10-1_amd64.deb | 6.63M | Sat Jan 30 2021 |
| 📦libz3-4_4.8.10-1_i386.deb | 7.38M | Sat Jan 30 2021 |
| 📦libz3-4_4.8.12-3.1_amd64.deb | 6.89M | Wed Feb 01 2023 |
| 📦libz3-4_4.8.12-3.1_i386.deb | 7.49M | Wed Feb 01 2023 |
| 📦libz3-dev_4.13.3-1.1_amd64.deb | 103K | Thu May 14 2026 |
| 📦libz3-dev_4.13.3-1.1_i386.deb | 103K | Thu May 14 2026 |
| 📦libz3-dev_4.13.3-1_amd64.deb | 105K | Tue Nov 05 2024 |
| 📦libz3-dev_4.13.3-1_i386.deb | 105K | Tue Nov 05 2024 |
| 📦libz3-dev_4.8.10-1_amd64.deb | 88.7K | Sat Jan 30 2021 |
| 📦libz3-dev_4.8.10-1_i386.deb | 88.7K | Sat Jan 30 2021 |
| 📦libz3-dev_4.8.12-3.1_amd64.deb | 88.5K | Wed Feb 01 2023 |
| 📦libz3-dev_4.8.12-3.1_i386.deb | 88.5K | Wed Feb 01 2023 |
| 📦libz3-java_4.13.3-1.1_amd64.deb | 179K | Thu May 14 2026 |
| 📦libz3-java_4.13.3-1.1_i386.deb | 179K | Thu May 14 2026 |
| 📦libz3-java_4.13.3-1_amd64.deb | 178K | Tue Nov 05 2024 |
| 📦libz3-java_4.13.3-1_i386.deb | 178K | Tue Nov 05 2024 |
| 📦libz3-java_4.8.10-1_amd64.deb | 156K | Sat Jan 30 2021 |
| 📦libz3-java_4.8.10-1_i386.deb | 156K | Sat Jan 30 2021 |
| 📦libz3-java_4.8.12-3.1_amd64.deb | 160K | Wed Feb 01 2023 |
| 📦libz3-java_4.8.12-3.1_i386.deb | 160K | Wed Feb 01 2023 |
| 📦libz3-jni_4.13.3-1.1_amd64.deb | 36.3K | Thu May 14 2026 |
| 📦libz3-jni_4.13.3-1.1_i386.deb | 44.9K | Thu May 14 2026 |
| 📦libz3-jni_4.13.3-1_amd64.deb | 36.6K | Tue Nov 05 2024 |
| 📦libz3-jni_4.13.3-1_i386.deb | 45.2K | Tue Nov 05 2024 |
| 📦libz3-jni_4.8.10-1_amd64.deb | 32K | Sat Jan 30 2021 |
| 📦libz3-jni_4.8.10-1_i386.deb | 39.3K | Sat Jan 30 2021 |
| 📦libz3-jni_4.8.12-3.1_amd64.deb | 31.7K | Wed Feb 01 2023 |
| 📦libz3-jni_4.8.12-3.1_i386.deb | 39.2K | Wed Feb 01 2023 |
| 📦python3-z3_4.13.3-1.1_amd64.deb | 81.6K | Thu May 14 2026 |
| 📦python3-z3_4.13.3-1.1_i386.deb | 81.6K | Thu May 14 2026 |
| 📦python3-z3_4.13.3-1_amd64.deb | 81.6K | Tue Nov 05 2024 |
| 📦python3-z3_4.13.3-1_i386.deb | 81.6K | Tue Nov 05 2024 |
| 📦python3-z3_4.8.10-1_amd64.deb | 76.3K | Sat Jan 30 2021 |
| 📦python3-z3_4.8.10-1_i386.deb | 76.3K | Sat Jan 30 2021 |
| 📦python3-z3_4.8.12-3.1_amd64.deb | 76.5K | Wed Feb 01 2023 |
| 📦python3-z3_4.8.12-3.1_i386.deb | 76.5K | Wed Feb 01 2023 |
| 📦z3_4.13.3-1.1.debian.tar.xz | 10.5K | Mon May 04 2026 |
| 📄z3_4.13.3-1.1.dsc | 2.71K | Mon May 04 2026 |
| 📦z3_4.13.3-1.1_amd64.deb | 8.25M | Thu May 14 2026 |
| 📦z3_4.13.3-1.1_i386.deb | 8.82M | Thu May 14 2026 |
| 📦z3_4.13.3-1.debian.tar.xz | 10.5K | Tue Nov 05 2024 |
| 📄z3_4.13.3-1.dsc | 2.65K | Tue Nov 05 2024 |
| 📦z3_4.13.3-1_amd64.deb | 8.17M | Tue Nov 05 2024 |
| 📦z3_4.13.3-1_i386.deb | 8.8M | Tue Nov 05 2024 |
| 📦z3_4.13.3.orig.tar.gz | 5.33M | Tue Nov 05 2024 |
| 📦z3_4.8.10-1.debian.tar.xz | 9.88K | Sat Jan 30 2021 |
| 📄z3_4.8.10-1.dsc | 2.59K | Sat Jan 30 2021 |
| 📦z3_4.8.10-1_amd64.deb | 6.65M | Sat Jan 30 2021 |
| 📦z3_4.8.10-1_i386.deb | 7.4M | Sat Jan 30 2021 |
| 📦z3_4.8.10.orig.tar.gz | 4.52M | Sat Jan 30 2021 |
| 📦z3_4.8.12-3.1.debian.tar.xz | 10.2K | Wed Feb 01 2023 |
| 📄z3_4.8.12-3.1.dsc | 2.61K | Wed Feb 01 2023 |
| 📦z3_4.8.12-3.1_amd64.deb | 6.9M | Wed Feb 01 2023 |
| 📦z3_4.8.12-3.1_i386.deb | 7.51M | Wed Feb 01 2023 |
| 📦z3_4.8.12.orig.tar.gz | 4.59M | Sat Sep 11 2021 |