Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/z/z3/

../
libz3-4_4.8.12-3.1build1_arm64.deb                 22-Apr-2024 12:45             5492238
libz3-dev_4.8.12-3.1build1_arm64.deb               22-Apr-2024 12:45               72216
libz3-java_4.8.12-3.1build1_arm64.deb              22-Apr-2024 12:45              162850
libz3-jni_4.8.12-3.1build1_arm64.deb               22-Apr-2024 12:45               35724
python3-z3_4.8.12-3.1build1_arm64.deb              22-Apr-2024 12:45               79746
z3_4.8.12-3.1build1_arm64.deb                      22-Apr-2024 12:45             5572736