../ minizinc-ide-dbgsym_2.1.7-1+b1_m68k.deb 15-Dec-2019 00:03 4586340 minizinc-ide_2.1.7-1+b1_m68k.buildinfo 15-Dec-2019 00:03 10849 minizinc-ide_2.1.7-1+b1_m68k.deb 15-Dec-2019 00:03 276380