../ minizinc-dbgsym_2.8.7+dfsg1-1_m68k.deb 09-Oct-2024 12:03 40M minizinc_2.8.7+dfsg1-1_m68k.buildinfo 09-Oct-2024 12:03 11K minizinc_2.8.7+dfsg1-1_m68k.deb 09-Oct-2024 12:03 2M