../ minizinc_2.5.3+dfsg1-1_amd64.deb 15-Aug-2026 12:56 1600496 minizinc_2.8.2+dfsg1-1build2_amd64.deb 15-Aug-2026 12:56 2332614 minizinc_2.9.3+dfsg1-1_amd64.deb 15-Aug-2026 12:56 2593950