../ minizinc_2.6.4+dfsg1-1.debian.tar.xz 31-Jul-2024 12:10 9132 minizinc_2.6.4+dfsg1-1.dsc 31-Jul-2024 12:10 1801 minizinc_2.6.4+dfsg1-1_amd64.deb 31-Jul-2024 12:20 2031904 minizinc_2.6.4+dfsg1-1_arm64.deb 31-Jul-2024 11:52 1733724 minizinc_2.6.4+dfsg1-1_i386.deb 31-Jul-2024 12:12 2112108 minizinc_2.6.4+dfsg1.orig.tar.xz 31-Jul-2024 12:10 879400