Index of /pub/ubuntu/pool/universe/m/minizinc/

../
minizinc_2.0.11+dfsg1-1_amd64.deb                  17-Jan-2016 17:45             1077278
minizinc_2.0.11+dfsg1-1_i386.deb                   17-Jan-2016 17:46             1114564