../ minizinc_2.10.0+dfsg1-1.debian.tar.xz 23-Aug-2026 08:59 11796 minizinc_2.10.0+dfsg1-1.dsc 23-Aug-2026 08:59 1965 minizinc_2.10.0+dfsg1-1_amd64.deb 23-Aug-2026 09:25 2659644 minizinc_2.10.0+dfsg1-1_arm64.deb 23-Aug-2026 09:19 2143540 minizinc_2.10.0+dfsg1-1_armhf.deb 23-Aug-2026 09:20 2167072 minizinc_2.10.0+dfsg1-1_i386.deb 23-Aug-2026 09:25 2699944 minizinc_2.10.0+dfsg1.orig.tar.xz 23-Aug-2026 08:59 1084928