Index of /linux/debian/debian-ports/pool-x32/main/m/mpi-defaults

Icon  Name                                        Last modified      Size  
[PARENTDIR] Parent Directory                                                 -   
[   ] mpi-default-bin_1.20_x32.deb                2026-01-07 19:03  2.7K  
[   ] mpi-default-dev_1.20_x32.deb                2026-01-07 19:03  3.4K  
[   ] mpi-defaults_1.20_x32.buildinfo             2026-01-07 19:03  6.3K