../ minizinc-ide-dbgsym_2.8.5-1_loong64.deb 12-Mar-2026 09:35 22316508 minizinc-ide_2.8.5-1.debian.tar.xz 22-Sep-2025 06:36 9128 minizinc-ide_2.8.5-1.dsc 22-Sep-2025 06:36 1810 minizinc-ide_2.8.5-1_loong64.deb 12-Mar-2026 09:35 854348 minizinc-ide_2.8.5.orig.tar.gz 22-Sep-2025 06:36 835165