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

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