Index of /Debian/pool/main/m/minizinc

[ICO]NameLast modifiedSize

[DIR]Parent Directory  -
[   ]minizinc_2.1.7+dfsg1-1_i386.deb23-Jan-2018 18:00 1.7M
[   ]minizinc_2.1.7+dfsg1-1_amd64.deb23-Jan-2018 16:43 1.7M
[   ]minizinc_2.0.14+dfsg1-1+b1_i386.deb17-Mar-2017 17:10 1.1M
[   ]minizinc_2.0.14+dfsg1-1+b1_amd64.deb17-Mar-2017 18:11 1.1M
[   ]minizinc_2.1.7+dfsg1.orig.tar.xz23-Jan-2018 16:43 487K
[   ]minizinc_2.0.14+dfsg1.orig.tar.gz28-Aug-2016 17:46 438K
[   ]minizinc_2.1.7+dfsg1-1.debian.tar.xz23-Jan-2018 16:43 9.2K
[   ]minizinc_2.0.14+dfsg1-1.debian.tar.xz28-Aug-2016 17:46 9.0K
[   ]minizinc_2.1.7+dfsg1-1.dsc23-Jan-2018 16:43 1.8K
[   ]minizinc_2.0.14+dfsg1-1.dsc28-Aug-2016 17:46 1.7K