../ 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_amd64.deb 15-Sep-2021 11:33 5848912