../ libz3-4_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 6M libz3-dev_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 66K libz3-java_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 150K libz3-jni_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 30K python3-z3_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 75K z3_4.8.7-4build1_arm64.deb 23-Mar-2020 13:08 6M