Index of /bionic-18.04/pool/universe/z/z3/

../
libz3-4_4.4.1-0.3build4_amd64.deb                  23-Feb-2024 18:15             5183404
libz3-cil_4.4.1-0.3build4_amd64.deb                23-Feb-2024 18:16               40792
libz3-dev_4.4.1-0.3build4_amd64.deb                23-Feb-2024 18:07               64240
libz3-java_4.4.1-0.3build4_amd64.deb               23-Feb-2024 18:07              143552
libz3-jni_4.4.1-0.3build4_amd64.deb                23-Feb-2024 18:04               31320
libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb          23-Feb-2024 18:10              490736
python-z3_4.4.1-0.3build4_amd64.deb                23-Feb-2024 18:14               67040
z3_4.4.1-0.3build4_amd64.deb                       23-Feb-2024 17:57             5204028