../ minizinc_2.1.7+dfsg1-1_amd64.deb 06-Apr-2022 21:10 1767276 minizinc_2.4.2-1build1_amd64.deb 02-Apr-2022 04:57 1481580 minizinc_2.5.3+dfsg1-1_amd64.deb 31-Mar-2022 18:00 1600496 minizinc_2.8.2+dfsg1-1build2_amd64.deb 07-Apr-2024 20:11 2332614