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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minizinc_2.8.7+dfsg1-1_x32.deb2024-10-09 12:03 2.2M 
[   ]minizinc_2.8.7+dfsg1-1_x32.buildinfo2024-10-09 12:03 11K 
[   ]minizinc-dbgsym_2.8.7+dfsg1-1_x32.deb2024-10-09 12:03 59M