../ minizinc_2.5.3+dfsg1-1_amd64.deb 01-Jun-2021 12:58 1622340 minizinc_2.5.3+dfsg1-1_arm64.deb 01-Jun-2021 09:32 1386800 minizinc_2.5.3+dfsg1-1_armel.deb 01-Jun-2021 10:47 1314968 minizinc_2.5.3+dfsg1-1_armhf.deb 01-Jun-2021 10:22 1378508 minizinc_2.5.3+dfsg1-1_i386.deb 01-Jun-2021 13:40 1702956