../ minizinc-static_2.8.4_aarch64.deb 10-May-2024 06:19 1775944 minizinc-static_2.8.4_arm.deb 10-May-2024 06:19 1908112 minizinc-static_2.8.4_i686.deb 10-May-2024 06:19 1948636 minizinc-static_2.8.4_x86_64.deb 10-May-2024 06:19 1910736