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             1083938
minizinc_2.0.11+dfsg1-1_i386.deb                   18-Jan-2016 01:02             1119680
minizinc_2.0.11+dfsg1.orig.tar.gz                  18-Jan-2016 00:02              446388
minizinc_2.0.14+dfsg1-1+b1_amd64.deb               18-Mar-2017 02:11             1131036
minizinc_2.0.14+dfsg1-1+b1_i386.deb                18-Mar-2017 01:10             1180566
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              448765