../ minizinc_2.9.3+dfsg1-1.debian.tar.xz 12-Aug-2025 00:45 11K minizinc_2.9.3+dfsg1-1.dsc 12-Aug-2025 00:45 1958 minizinc_2.9.3+dfsg1-1_amd64.deb 12-Aug-2025 01:42 2M minizinc_2.9.3+dfsg1-1_arm64.deb 12-Aug-2025 01:47 2M minizinc_2.9.3+dfsg1-1_armhf.deb 12-Aug-2025 01:47 2M minizinc_2.9.3+dfsg1-1_i386.deb 12-Aug-2025 01:42 2M minizinc_2.9.3+dfsg1.orig.tar.xz 12-Aug-2025 00:45 987K