Index of /debian/pool/main/m/minizinc/


../
minizinc_2.0.14+dfsg1-1+b1_amd64.deb               17-Mar-2017 15:11             1131036
minizinc_2.0.14+dfsg1-1+b1_i386.deb                17-Mar-2017 14:10             1180566
minizinc_2.0.14+dfsg1-1.debian.tar.xz              28-Aug-2016 13:46                9244
minizinc_2.0.14+dfsg1-1.dsc                        28-Aug-2016 13:46                1779
minizinc_2.0.14+dfsg1.orig.tar.gz                  28-Aug-2016 13:46              448765