Index of /pool/universe/m/minizinc-ide

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]minizinc-ide_2.0.10-1.debian.tar.xz2016-01-03 05:14 8.3K
[   ]minizinc-ide_2.0.10-1.dsc2016-01-03 05:14 1.7K
[   ]minizinc-ide_2.0.10-1_arm64.deb2016-01-03 05:29 262K
[   ]minizinc-ide_2.0.10-1_armhf.deb2016-01-03 05:29 258K
[   ]minizinc-ide_2.0.10-1_powerpc.deb2016-01-03 05:29 260K
[   ]minizinc-ide_2.0.10-1_ppc64el.deb2016-01-03 05:14 270K
[   ]minizinc-ide_2.0.10-1_s390x.deb2016-01-03 05:14 264K
[   ]minizinc-ide_2.0.10.orig.tar.gz2016-01-03 05:14 406K
[   ]minizinc-ide_2.1.7-1.debian.tar.xz2018-01-23 23:28 8.7K
[   ]minizinc-ide_2.1.7-1.dsc2018-01-23 23:28 1.7K
[   ]minizinc-ide_2.1.7-1_arm64.deb2018-01-23 23:29 235K
[   ]minizinc-ide_2.1.7-1_armhf.deb2018-01-23 23:29 224K
[   ]minizinc-ide_2.1.7-1_ppc64el.deb2018-01-23 23:29 255K
[   ]minizinc-ide_2.1.7-1_s390x.deb2018-01-23 23:29 233K
[   ]minizinc-ide_2.1.7.orig.tar.gz2018-01-23 23:28 210K

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