../ minizinc_2.1.7+dfsg1-1.debian.tar.xz 11-Apr-2022 10:11 9436 minizinc_2.1.7+dfsg1-1.dsc 11-Apr-2022 10:11 1807 minizinc_2.1.7+dfsg1-1_amd64.deb 11-Apr-2022 10:01 2M minizinc_2.1.7+dfsg1-1_i386.deb 11-Apr-2022 10:20 2M minizinc_2.1.7+dfsg1.orig.tar.xz 11-Apr-2022 10:11 487K