libz3-4_4.13.3-1+b1_amd64.deb
libz3-4_4.13.3-1+b1_i386.deb
libz3-dev_4.13.3-1+b1_amd64.deb
libz3-dev_4.13.3-1+b1_i386.deb
libz3-java_4.13.3-1+b1_amd64.deb
libz3-java_4.13.3-1+b1_i386.deb
libz3-jni_4.13.3-1+b1_amd64.deb
libz3-jni_4.13.3-1+b1_i386.deb
python3-z3_4.13.3-1+b1_amd64.deb
python3-z3_4.13.3-1+b1_i386.deb
z3_4.13.3-1+b1_amd64.deb
z3_4.13.3-1+b1_i386.deb
z3_4.13.3-1.debian.tar.xz
z3_4.13.3-1.dsc
z3_4.13.3.orig.tar.gz