../ 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