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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]minizinc-ide_2.0.10-1_amd64.deb2016-01-03 12:28 275K 
[ ]minizinc-ide_2.0.10-1_i386.deb2016-01-03 12:14 285K 
Apache/2.4.7 (Ubuntu) Server at saos.usd.ac.id Port 80