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

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