../ minizinc-static_2.8.3_aarch64.deb 01-Feb-2024 12:24 1766284 minizinc-static_2.8.3_arm.deb 01-Feb-2024 12:24 1900720 minizinc-static_2.8.3_i686.deb 01-Feb-2024 12:24 1941060 minizinc-static_2.8.3_x86_64.deb 01-Feb-2024 12:24 1901652