../ minizinc-ide_2.8.2-ok1_amd64.deb 29-Sep-2024 10:05 846048 minizinc-ide_2.8.2-ok1_arm64.deb 09-Oct-2024 10:11 765832 minizinc-ide_2.8.2-ok1_loong64.deb 31-Oct-2024 11:12 841284