Index of /odroid/mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/o/openmpi

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libopenmpi-dev_4.0.3-0ubuntu1_arm64.deb2020-04-15 14:23 780K 
[   ]libopenmpi3_4.0.3-0ubuntu1_arm64.deb2020-04-15 14:23 1.7M 
[   ]openmpi-bin_4.0.3-0ubuntu1_arm64.deb2020-04-15 14:23 65K 
[   ]openmpi-common_4.0.3-0ubuntu1_all.deb2020-04-15 14:09 147K 
[   ]openmpi-doc_4.0.3-0ubuntu1_all.deb2020-04-15 14:09 662K