mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-31 10:46:16 +00:00
528f9b9845
This was found while investigating the status of openmpi3. This port is one of the last two consumers in the tree. openmpi3 has been superceded by the current openmpi port. |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-message | ||
pkg-plist |