../ minizinc_2.8.3_aarch64.deb 01-Feb-2024 12:24 1669976 minizinc_2.8.3_arm.deb 01-Feb-2024 12:24 1671420 minizinc_2.8.3_i686.deb 01-Feb-2024 12:24 1970900 minizinc_2.8.3_x86_64.deb 01-Feb-2024 12:24 1934684