Index of /pool/universe/m/minizinc/


../
minizinc_2.0.11+dfsg1-1.debian.tar.xz              17-Jan-2016 23:14                9164
minizinc_2.0.11+dfsg1-1.dsc                        17-Jan-2016 23:14                1797
minizinc_2.0.11+dfsg1-1_amd64.deb                  17-Jan-2016 23:45             1077278
minizinc_2.0.11+dfsg1-1_i386.deb                   17-Jan-2016 23:46             1114564
minizinc_2.0.11+dfsg1.orig.tar.gz                  17-Jan-2016 23:14              446388
minizinc_2.1.7+dfsg1-1.debian.tar.xz               23-Jan-2018 23:28                9436
minizinc_2.1.7+dfsg1-1.dsc                         23-Jan-2018 23:28                1807
minizinc_2.1.7+dfsg1-1_amd64.deb                   23-Jan-2018 23:28             1767276
minizinc_2.1.7+dfsg1-1_i386.deb                    23-Jan-2018 23:29             1822976
minizinc_2.1.7+dfsg1.orig.tar.xz                   23-Jan-2018 23:28              498588
minizinc_2.4.2-1build1.debian.tar.xz               24-Mar-2020 14:43                8800
minizinc_2.4.2-1build1.dsc                         24-Mar-2020 14:43                1847
minizinc_2.4.2-1build1_amd64.deb                   24-Mar-2020 16:12             1481580
minizinc_2.4.2.orig.tar.gz                         10-Jan-2020 23:13             1535346
minizinc_2.4.3-3.debian.tar.xz                     09-Aug-2020 05:13                9580
minizinc_2.4.3-3.dsc                               09-Aug-2020 05:13                1798
minizinc_2.4.3-3_amd64.deb                         09-Aug-2020 05:23             1479508
minizinc_2.4.3.orig.tar.gz                         27-Apr-2020 19:33             1547377