openmpi_rm options

Gentoo Browse is not an official Gentoo website. The name "Gentoo" and the "g" logo are trademarks of the Gentoo Foundation, Inc.

Many thanks to the people behind the tech powering Gentoo Browse.

Searches package names, descriptions, news, bug summaries and use flags.