Index of /uos/ppa/kelvinu/pool/main/z/z3/

../
libz3-4_4.4.1-1~deb10u1_arm64.deb                  26-Sep-2021 17:20      4M
libz3-cil_4.4.1-1~deb10u1_arm64.deb                26-Sep-2021 17:27     40K
libz3-dev_4.4.1-1~deb10u1_arm64.deb                26-Sep-2021 17:04     78K
libz3-java_4.4.1-1~deb10u1_arm64.deb               26-Sep-2021 17:21    143K
libz3-jni_4.4.1-1~deb10u1_arm64.deb                26-Sep-2021 17:22     29K
libz3-ocaml-dev_4.4.1-1~deb10u1_arm64.deb          26-Sep-2021 17:22    506K
python-z3_4.4.1-1~deb10u1_arm64.deb                26-Sep-2021 17:16     65K
z3_4.4.1-1~deb10u1_arm64.deb                       26-Sep-2021 17:26      4M