../ minizinc_2.9.0+dfsg1-1.debian.tar.xz 15-Feb-2025 20:11 11K minizinc_2.9.0+dfsg1-1.dsc 15-Feb-2025 20:11 1955 minizinc_2.9.0+dfsg1-1_amd64.deb 15-Feb-2025 20:36 2M minizinc_2.9.0+dfsg1-1_arm64.deb 15-Feb-2025 20:46 2M minizinc_2.9.0+dfsg1-1_armel.deb 15-Feb-2025 20:46 2M minizinc_2.9.0+dfsg1-1_armhf.deb 15-Feb-2025 20:46 2M minizinc_2.9.0+dfsg1-1_i386.deb 15-Feb-2025 20:36 2M minizinc_2.9.0+dfsg1.orig.tar.xz 15-Feb-2025 20:11 967K