Index of /debian-ports/pool-sh4/main/m/minizinc

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minizinc-dbgsym_2.1.7+dfsg1-1_sh4.deb2018-01-24 00:03 32M 
[   ]minizinc_2.1.7+dfsg1-1_sh4.deb2018-01-24 00:03 1.4M 
[   ]minizinc_2.1.7+dfsg1-1_sh4.buildinfo2018-01-24 00:03 7.3K