../ minizinc-static_2.8.5_aarch64.deb 03-Jun-2024 06:18 1776024 minizinc-static_2.8.5_arm.deb 03-Jun-2024 06:18 1909764 minizinc-static_2.8.5_i686.deb 03-Jun-2024 06:18 1950304 minizinc-static_2.8.5_x86_64.deb 03-Jun-2024 06:18 1911116