Index of /ubuntu/pool/main/m/minizinc-ide

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minizinc-ide_2.5.3-1_amd64.deb2022-03-29 15:10 755K 
[   ]minizinc-ide_2.0.10-1_i386.deb2018-04-12 12:38 285K 
[   ]minizinc-ide_2.0.10-1_amd64.deb2018-04-12 11:52 275K