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

../
minizinc_2.0.14+dfsg1-1+b1_amd64.deb               17-Mar-2017 18:11             1131036
minizinc_2.0.14+dfsg1-1+b1_i386.deb                17-Mar-2017 17:10             1180566