../ minizinc_2.1.7+dfsg1-1_amd64.deb 11-Sep-2025 17:43 1767276 minizinc_2.4.2-1build1_amd64.deb 03-Sep-2025 18:24 1481580 minizinc_2.5.3+dfsg1-1_amd64.deb 04-Sep-2025 21:52 1600496 minizinc_2.8.2+dfsg1-1build2_amd64.deb 04-Sep-2025 16:56 2332614