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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]openmpi-common_5.0.5-6_all.deb2024-11-16 18:00 93K 
[   ]openmpi-common_5.0.6-3_all.deb2024-12-02 23:47 95K 
[   ]openmpi-doc_5.0.5-6_all.deb2024-11-16 18:00 8.1M 
[   ]openmpi-doc_5.0.6-3_all.deb2024-12-02 23:47 8.1M