You can get them locally by fetching from open-mpi/ompi-release, but the only tag in open-mpi/ompi is called "dev" and on a seemingly arbitrary commit. Isn't that awkward already, and more so with each passing year? Release tags in the development repository are useful to determine which released versions have a feature or bug.
pgprapt_IUva_.pgp
Description: PGP signature
