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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minizinc-ide_2.4.2-2build1.debian.tar.xz2020-03-23 02:10 8.6K 
[   ]minizinc-ide_2.4.2-2build1.dsc2020-03-23 02:10 1.8K 
[   ]minizinc-ide_2.4.2-2build1_amd64.deb2020-03-23 03:00 529K 
[   ]minizinc-ide_2.4.2.orig.tar.gz2020-01-11 08:13 469K 

Apache/2.4.29 (Ubuntu) Server at mirror.hamonikr.org Port 443