Index of /bossgnome/pool/urja/main/o/openmpi

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]openmpi-doc_4.1.0-10_all.deb2022-09-29 13:55 760K 
[   ]openmpi-common_4.1.0-10_all.deb2022-09-29 13:55 175K 
[   ]openmpi-bin_4.1.0-10_amd64.deb2022-09-29 13:55 232K 
[   ]libopenmpi3_4.1.0-10_amd64.deb2022-09-29 13:55 2.3M 
[   ]libopenmpi-dev_4.1.0-10_amd64.deb2022-09-29 13:55 1.1M