Index of /linux/debian/debian-ports/pool-x32/main/o/openmpi

Icon  Name                                        Last modified      Size  
[PARENTDIR] Parent Directory                                                 -   
[   ] libopenmpi-dev_4.1.6-13.3_x32.deb           2024-05-06 20:03  1.0M  
[   ] libopenmpi3t64-dbgsym_4.1.6-13.3_x32.deb    2024-05-06 20:03   16M  
[   ] libopenmpi3t64_4.1.6-13.3_x32.deb           2024-05-06 20:03  2.4M  
[   ] openmpi-bin-dbgsym_4.1.6-13.3_x32.deb       2024-05-06 20:03  106K  
[   ] openmpi-bin_4.1.6-13.3_x32.deb              2024-05-06 20:03  191K  
[   ] openmpi_4.1.6-13.3_x32.buildinfo            2024-05-06 20:03   11K