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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]minizinc_2.0.11+dfsg1-1.debian.tar.xz2016-01-17 23:14 8.9K
[   ]minizinc_2.0.11+dfsg1-1.dsc2016-01-17 23:14 1.8K
[   ]minizinc_2.0.11+dfsg1-1_amd64.deb2016-01-17 23:45 1.0M
[   ]minizinc_2.0.11+dfsg1-1_i386.deb2016-01-17 23:46 1.1M
[   ]minizinc_2.0.11+dfsg1.orig.tar.gz2016-01-17 23:14 436K
[   ]minizinc_2.1.7+dfsg1-1.debian.tar.xz2018-01-23 23:28 9.2K
[   ]minizinc_2.1.7+dfsg1-1.dsc2018-01-23 23:28 1.8K
[   ]minizinc_2.1.7+dfsg1-1_amd64.deb2018-01-23 23:28 1.7M
[   ]minizinc_2.1.7+dfsg1-1_i386.deb2018-01-23 23:29 1.7M
[   ]minizinc_2.1.7+dfsg1.orig.tar.xz2018-01-23 23:28 487K

Apache/2.4.18 (Ubuntu) Server at ca.archive.ubuntu.com Port 80