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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]minizinc-ide_2.1.7-1_amd64.deb2018-01-23 23:28 246K 
[ ]minizinc-ide_2.1.7-1_i386.deb2018-01-23 23:29 262K 
Apache/2.4.25 (Debian) Server at 34.68.167.39 Port 80