[ICO]NameLast modifiedSize
[parent]Parent Directory  -
[   ]minizinc-ide_2.4.2-2build1_amd64.deb2020-03-23 01:00 529K
[   ]minizinc-ide_2.5.3-1_amd64.deb2020-12-10 12:39 755K
[   ]minizinc-ide_2.8.2-1build2_amd64.deb2024-04-02 06:02 889K