../ minizinc-static_2.7.6_aarch64.deb 21-Jun-2023 06:18 1638996 minizinc-static_2.7.6_arm.deb 21-Jun-2023 06:18 1772556 minizinc-static_2.7.6_i686.deb 21-Jun-2023 06:18 1794272 minizinc-static_2.7.6_x86_64.deb 21-Jun-2023 06:18 1791436