../ minizinc_2.1.7+dfsg1-1_amd64.deb 08-Jan-2023 14:11 1774416 minizinc_2.5.3+dfsg1-1_amd64.deb 08-Jan-2023 11:50 1622340 minizinc_2.6.4+dfsg1-1_amd64.deb 01-Aug-2023 12:40 2031904