../ minizinc_2.9.2+dfsg1-1.debian.tar.xz 19-Oct-2026 17:30 12K minizinc_2.9.2+dfsg1-1.dsc 19-Oct-2026 17:30 1958 minizinc_2.9.2+dfsg1-1_amd64.deb 19-Oct-2026 17:30 2M minizinc_2.9.2+dfsg1.orig.tar.xz 19-Oct-2026 17:30 977K