../ minizinc_2.6.4+dfsg1-1.debian.tar.xz 23-Jul-2022 08:53 9132 minizinc_2.6.4+dfsg1-1.dsc 23-Jul-2022 08:53 1801 minizinc_2.6.4+dfsg1-1_amd64.deb 23-Jul-2022 09:28 2M minizinc_2.6.4+dfsg1-1_arm64.deb 23-Jul-2022 09:28 2M minizinc_2.6.4+dfsg1-1_armel.deb 23-Jul-2022 12:56 2M minizinc_2.6.4+dfsg1-1_armhf.deb 23-Jul-2022 10:29 2M minizinc_2.6.4+dfsg1-1_i386.deb 23-Jul-2022 09:18 2M minizinc_2.6.4+dfsg1.orig.tar.xz 23-Jul-2022 08:53 859K