Index of /professional/pool/main/m/minizinc-ide/
../
minizinc-ide-dbgsym_2.0.14-1_amd64.deb 15-Nov-2016 15:31 4037356
minizinc-ide-dbgsym_2.0.14-1_i386.deb 15-Nov-2016 15:31 3949678
minizinc-ide_2.0.10-1.debian.tar.xz 03-Jan-2016 04:26 8540
minizinc-ide_2.0.10-1.dsc 03-Jan-2016 04:26 1759
minizinc-ide_2.0.10-1_amd64.deb 03-Jan-2016 04:26 283732
minizinc-ide_2.0.10-1_i386.deb 03-Jan-2016 06:47 294296
minizinc-ide_2.0.10.orig.tar.gz 03-Jan-2016 04:26 415324
minizinc-ide_2.0.14-1.debian.tar.xz 23-Nov-2016 13:54 9044
minizinc-ide_2.0.14-1.dsc 23-Nov-2016 13:54 890
minizinc-ide_2.0.14-1_amd64.deb 15-Nov-2016 15:31 241750
minizinc-ide_2.0.14-1_i386.deb 15-Nov-2016 15:31 259160
minizinc-ide_2.0.14.orig.tar.gz 23-Nov-2016 13:54 209391