../ minizinc-ide-dbgsym_2.8.5-1_amd64.deb 15-Sep-2025 02:24 21M minizinc-ide-dbgsym_2.8.5-1_riscv64.deb 15-Sep-2025 02:24 20M minizinc-ide_2.8.5-1.debian.tar.xz 28-Aug-2024 04:19 9128 minizinc-ide_2.8.5-1.dsc 15-Sep-2025 02:24 903 minizinc-ide_2.8.5-1_amd64.deb 15-Sep-2025 02:24 900K minizinc-ide_2.8.5-1_riscv64.deb 15-Sep-2025 02:24 895K minizinc-ide_2.8.5.orig.tar.gz 28-Aug-2024 04:19 816K