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

 Name                                          Last modified      Size  
 Parent Directory                                                   -   
 minizinc-dbgsym_2.10.0+dfsg1-1+b1_ppc64.deb   2026-09-23 14:03   52M  
 minizinc_2.10.0+dfsg1-1+b1_ppc64.buildinfo    2026-09-23 14:03   11K  
 minizinc_2.10.0+dfsg1-1+b1_ppc64.deb          2026-09-23 14:03  2.2M