net/openmpi3: Remove expired port
2023-10-11 net/openmpi3: OpenMPI 3 is not maintained by the upstream project anymore and will be removed
Description
Description
Details
Details
- Provenance
rene Authored on Oct 12 2023, 7:34 PM - Parents
- R11:ae19e1108f7c: audio/rem: Remove expired port
- Branches
- Unknown
- Tags