../ minizinc_2.4.2-1build1_loongarch64.deb 27-Jul-2021 04:10 1302812 minizinc_2.4.2-1build1_riscv64.deb 15-Aug-2023 08:16 1529104 minizinc_2.8.2+dfsg1-ok1_amd64.deb 29-Sep-2024 09:14 2145536 minizinc_2.8.2+dfsg1-ok1_arm64.deb 09-Oct-2024 10:42 1792098