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

Icon  Name                                    Last modified      Size  
[PARENTDIR] Parent Directory                                             -   
[   ] openmpi-common_6.0.0~rc2-2_all.deb      2026-10-03 18:00   15K  
[   ] openmpi-common_6.0.0~rc2-4_all.deb      2026-10-18 17:24   22K  
[   ] openmpi-doc_6.0.0~rc2-2_all.deb         2026-10-03 18:00  3.9M  
[   ] openmpi-doc_6.0.0~rc2-4_all.deb         2026-10-18 17:24  6.7M