../ libz3-4_4.8.12-1_amd64.deb 15-Sep-2021 11:33 5766000 libz3-dev_4.8.12-1_amd64.deb 15-Sep-2021 11:33 72178 libz3-java_4.8.12-1_amd64.deb 15-Sep-2021 11:33 159582 libz3-jni_4.8.12-1_amd64.deb 15-Sep-2021 11:33 43032 python3-z3_4.8.12-1_amd64.deb 15-Sep-2021 11:33 79904 z3_4.8.12-1.debian.tar.xz 15-Sep-2021 11:19 9896 z3_4.8.12-1.dsc 15-Sep-2021 11:19 2642 z3_4.8.12-1_amd64.deb 15-Sep-2021 11:33 5848912 z3_4.8.12.orig.tar.gz 15-Sep-2021 11:19 4803435