Host4Biz mirror server

Index of /debian/bookworm/pool/main/z/z3/

---

../
libz3-4_4.8.12-3.1_amd64.deb                       18-Dec-2025 16:59      7M
libz3-dev_4.8.12-3.1_amd64.deb                     18-Dec-2025 16:59     88K
libz3-java_4.8.12-3.1_amd64.deb                    18-Dec-2025 16:59    159K
libz3-jni_4.8.12-3.1_amd64.deb                     18-Dec-2025 16:59     32K
python3-z3_4.8.12-3.1_amd64.deb                    18-Dec-2025 16:59     76K
z3_4.8.12-3.1_amd64.deb                            18-Dec-2025 16:59      7M

---