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

 Name                                          Last modified      Size  
 Parent Directory                                                   -   
 minizinc-ide-dbgsym_2.10.0-1_alpha.deb        2026-08-23 20:03   21M  
 minizinc-ide_2.10.0-1_alpha.buildinfo         2026-08-23 20:03   10K  
 minizinc-ide_2.10.0-1_alpha.deb               2026-08-23 20:03  886K