../ minizinc_2.5.3+dfsg1-1_amd64.deb 23-Jul-2026 09:00 1622340 minizinc_2.6.4+dfsg1-1_amd64.deb 22-Jul-2026 13:55 2031904 minizinc_2.9.2+dfsg1-1_amd64.deb 23-Jul-2026 10:48 2477764