Index of /professional/pool/main/m/minizinc/

../
minizinc_2.0.11+dfsg1-1.debian.tar.xz              18-Jan-2016 00:02    9164
minizinc_2.0.11+dfsg1-1.dsc                        18-Jan-2016 00:02    1797
minizinc_2.0.11+dfsg1-1_amd64.deb                  18-Jan-2016 00:02      1M
minizinc_2.0.11+dfsg1-1_i386.deb                   18-Jan-2016 01:02      1M
minizinc_2.0.11+dfsg1.orig.tar.gz                  18-Jan-2016 00:02    436K
minizinc_2.0.14+dfsg1-1+b1_amd64.deb               18-Mar-2017 02:11      1M
minizinc_2.0.14+dfsg1-1+b1_i386.deb                18-Mar-2017 01:10      1M
minizinc_2.0.14+dfsg1-1.debian.tar.xz              29-Aug-2016 00:46    9244
minizinc_2.0.14+dfsg1-1.dsc                        29-Aug-2016 00:46    1779
minizinc_2.0.14+dfsg1.orig.tar.gz                  29-Aug-2016 00:46    438K