../ minizinc_2.0.11+dfsg1-1_amd64.deb 16-Mar-2016 11:30 1077278 minizinc_2.1.7+dfsg1-1_amd64.deb 02-Oct-2018 09:37 1767276 minizinc_2.4.2-1build1_amd64.deb 01-Oct-2021 16:50 1481580