Index of /linux/debian/debian-ports/pool-powerpc/main/m/minizinc

Icon  Name                                            Last modified      Size  
[PARENTDIR] Parent Directory - [   ] minizinc-dbgsym_2.10.0+dfsg1-1+b1_powerpc.deb 2026-09-23 14:03 52M [   ] minizinc_2.10.0+dfsg1-1+b1_powerpc.buildinfo 2026-09-23 14:03 11K [   ] minizinc_2.10.0+dfsg1-1+b1_powerpc.deb 2026-09-23 14:03 2.1M