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