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

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