Public Mirrors
[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]minizinc-ide-dbgsym_2.1.7-1+rb2_amd64.deb2022-04-11 04:15 4.9M
[   ]minizinc-ide-dbgsym_2.1.7-1+rb2_i386.deb2022-04-11 04:16 4.9M
[   ]minizinc-ide_2.1.7-1+rb2.debian.tar.xz2022-04-11 04:06 8.8K
[TXT]minizinc-ide_2.1.7-1+rb2.dsc2022-04-11 04:06 902
[   ]minizinc-ide_2.1.7-1+rb2_amd64.deb2022-04-11 04:09 248K
[   ]minizinc-ide_2.1.7-1+rb2_i386.deb2022-04-11 04:02 267K
[   ]minizinc-ide_2.1.7.orig.tar.gz2022-04-11 04:06 210K