../ minizinc-ide-dbgsym_2.1.7-1+b1_m68k.deb 15-Dec-2019 00:03 4M minizinc-ide_2.1.7-1+b1_m68k.buildinfo 15-Dec-2019 00:03 11K minizinc-ide_2.1.7-1+b1_m68k.deb 15-Dec-2019 00:03 270K