Index of /doc/openmpi-bin

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]NEWS.gz2018-10-30 10:39 61K 
[   ]README.Debian2019-04-30 23:40 2.1K 
[   ]README.gz2018-10-30 10:39 29K 
[   ]changelog.Debian.gz2019-04-30 23:40 19K 
[   ]copyright2019-04-30 23:40 8.2K 

Apache/2.4.38 (Debian) Server at lira.no-ip.org Port 8080