../ libz3-4_4.8.12-1_amd64.deb 09-Aug-2024 14:12 5766000 libz3-dev_4.8.12-1_amd64.deb 09-Aug-2024 14:21 72178 libz3-java_4.8.12-1_amd64.deb 09-Aug-2024 14:11 159582 libz3-jni_4.8.12-1_amd64.deb 09-Aug-2024 14:14 43032 python3-z3_4.8.12-1_amd64.deb 09-Aug-2024 14:25 79904 z3_4.8.12-1_amd64.deb 09-Aug-2024 14:10 5848912