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.0.14-1.debian.tar.xz2016-11-02 03:45 8.8K
[   ]minizinc-ide_2.0.14-1.dsc2016-11-02 03:45 1.7K
[   ]minizinc-ide_2.0.14-1_arm64.deb2016-11-02 22:29 228K
[   ]minizinc-ide_2.0.14-1_armhf.deb2016-11-02 22:41 225K
[   ]minizinc-ide_2.0.14-1_ppc64el.deb2016-11-02 13:29 237K
[   ]minizinc-ide_2.0.14-1_s390x.deb2016-11-02 13:46 228K
[   ]minizinc-ide_2.0.14.orig.tar.gz2016-11-02 03:45 204K
[   ]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