Index of /nova/pool/extendido/m/minizinc/

../
minizinc_2.1.7+dfsg1-1.debian.tar.xz               11-Jun-2020 01:07                9436
minizinc_2.1.7+dfsg1-1.dsc                         11-Jun-2020 01:07                1807
minizinc_2.1.7+dfsg1-1_amd64.deb                   11-Jun-2020 02:24             1767276
minizinc_2.1.7+dfsg1-1_i386.deb                    11-Jun-2020 02:47             1822976
minizinc_2.1.7+dfsg1.orig.tar.xz                   11-Jun-2020 01:07              498588
minizinc_2.4.2-1build1.debian.tar.xz               22-Jun-2020 07:22                8800
minizinc_2.4.2-1build1.dsc                         22-Jun-2020 07:22                1847
minizinc_2.4.2-1build1_amd64.deb                   22-Jun-2020 17:31             1481580
minizinc_2.4.2.orig.tar.gz                         22-Jun-2020 07:22             1535346
minizinc_2.5.3+dfsg1-1.debian.tar.xz               01-May-2022 11:57                9020
minizinc_2.5.3+dfsg1-1.dsc                         01-May-2022 11:57                1840
minizinc_2.5.3+dfsg1-1_amd64.deb                   30-Apr-2022 03:18             1600496
minizinc_2.5.3+dfsg1.orig.tar.gz                   01-May-2022 11:57             1622012