../ minizinc_2.1.7+dfsg1-1.debian.tar.xz 23-Jan-2018 16:43 9436 minizinc_2.1.7+dfsg1-1.dsc 23-Jan-2018 16:43 1807 minizinc_2.1.7+dfsg1-1_armhf.deb 29-Jan-2018 10:08 1460804 minizinc_2.1.7+dfsg1.orig.tar.xz 23-Jan-2018 16:43 498588 minizinc_2.5.3+dfsg1-1.debian.tar.xz 09-Dec-2020 18:17 9020 minizinc_2.5.3+dfsg1-1.dsc 09-Dec-2020 18:17 1840 minizinc_2.5.3+dfsg1-1_armhf.deb 15-Dec-2020 10:08 1314604 minizinc_2.5.3+dfsg1.orig.tar.gz 09-Dec-2020 18:17 1622012 minizinc_2.6.4+dfsg1-1.debian.tar.xz 22-Jul-2022 23:53 9132 minizinc_2.6.4+dfsg1-1.dsc 22-Jul-2022 23:53 1801 minizinc_2.6.4+dfsg1-1_armhf.deb 28-Jul-2022 07:38 1643908 minizinc_2.6.4+dfsg1.orig.tar.xz 22-Jul-2022 23:53 879400 minizinc_2.8.3+dfsg1-1.debian.tar.xz 29-Mar-2024 16:22 11500 minizinc_2.8.3+dfsg1-1.dsc 29-Mar-2024 16:22 1814 minizinc_2.8.3+dfsg1-1_armhf.deb 08-Jun-2024 08:47 1842024 minizinc_2.8.3+dfsg1.orig.tar.xz 29-Mar-2024 16:22 983660