mirror of
https://github.com/HDFGroup/hdf5.git
synced 2024-12-15 07:40:23 +08:00
cf232a757f
* Update install openmpi-bin to also install mpi-default-dev instead of libopenmpi-dev. This according to https://bugs.launchpad.net/ubuntu/+source/openmpi/+bug/1870780. |
||
---|---|---|
.. | ||
ISSUE_TEMPLATE | ||
PULL_REQUEST_TEMPLATE | ||
workflows | ||
CODEOWNERS | ||
FUNDING.yml |