../ minizinc_2.8.2+dfsg1-1.debian.tar.xz 01-Jan-2024 20:49 11K minizinc_2.8.2+dfsg1-1.dsc 01-Jan-2024 20:49 1798 minizinc_2.8.2+dfsg1-1_amd64.deb 01-Jan-2024 23:16 2M minizinc_2.8.2+dfsg1-1_arm64.deb 01-Jan-2024 23:01 2M minizinc_2.8.2+dfsg1-1_armel.deb 01-Jan-2024 23:01 2M minizinc_2.8.2+dfsg1-1_armhf.deb 01-Jan-2024 23:06 2M minizinc_2.8.2+dfsg1-1_i386.deb 01-Jan-2024 23:16 2M minizinc_2.8.2+dfsg1.orig.tar.gz 01-Jan-2024 20:49 2M