../ minizinc_2.7.6_aarch64.deb 21-Jun-2023 06:18 1580024 minizinc_2.7.6_arm.deb 21-Jun-2023 06:18 1609544 minizinc_2.7.6_i686.deb 21-Jun-2023 06:18 1861200 minizinc_2.7.6_x86_64.deb 21-Jun-2023 06:18 1864196