../ minizinc_2.0.14+dfsg1-1+b1_amd64.deb 08-Jan-2023 17:30 1131036 minizinc_2.0.14+dfsg1-1+b1_i386.deb 08-Jan-2023 17:30 1180566 minizinc_2.1.7+dfsg1-1_amd64.deb 08-Jan-2023 14:11 1774416 minizinc_2.1.7+dfsg1-1_i386.deb 08-Jan-2023 14:09 1831260 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 minizinc_2.9.2+dfsg1-1_amd64.deb 23-Oct-2026 18:45 2477764