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


../
minizinc-ide_2.0.14-1+b1_amd64.deb                 17-Mar-2017 15:26              244490
minizinc-ide_2.0.14-1+b1_i386.deb                  17-Mar-2017 14:31              262870
minizinc-ide_2.0.14-1.debian.tar.xz                29-Aug-2016 14:35                9020
minizinc-ide_2.0.14-1.dsc                          29-Aug-2016 14:35                1741
minizinc-ide_2.0.14.orig.tar.gz                    29-Aug-2016 14:35              209391