../ minizinc-ide-dbgsym_2.1.7-1_sparc64.deb 23-Dec-2018 00:04 5M minizinc-ide_2.1.7-1_sparc64.buildinfo 23-Dec-2018 00:04 10K minizinc-ide_2.1.7-1_sparc64.deb 23-Dec-2018 00:04 218K