Index of /ubuntu-20.04/mirror/kr.archive.ubuntu.com/ubuntu/pool/universe/o/openmpi

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libopenmpi-dev_4.0.3-0ubuntu1_amd64.deb2020-04-15 10:09 780K 
[ ]libopenmpi3_4.0.3-0ubuntu1_amd64.deb2020-04-15 10:09 1.9M 
[ ]openmpi-bin_4.0.3-0ubuntu1_amd64.deb2020-04-15 10:09 66K 
[ ]openmpi-common_4.0.3-0ubuntu1_all.deb2020-04-15 10:09 147K 
[ ]openmpi-doc_4.0.3-0ubuntu1_all.deb2020-04-15 10:09 662K 
Apache/2.4.41 (Ubuntu) Server at 101.202.40.5 Port 80