../ libz3-4-dbgsym_4.8.12-3.1_m68k.deb 07-Feb-2023 12:03 129635152 libz3-4_4.8.12-3.1_m68k.deb 07-Feb-2023 12:03 6598168 libz3-dev_4.8.12-3.1_m68k.deb 07-Feb-2023 12:03 90556 python3-z3_4.8.12-3.1_m68k.deb 07-Feb-2023 12:03 78308 z3-dbgsym_4.8.12-3.1_m68k.deb 07-Feb-2023 12:03 131407628 z3_4.8.12-3.1_m68k.buildinfo 07-Feb-2023 12:03 7971 z3_4.8.12-3.1_m68k.deb 07-Feb-2023 12:03 6613612