Opened 6 years ago
Closed 6 years ago
#56966 closed enhancement (fixed)
Please add a port openmpi-gcc8
| Reported by: | platipodium (Carsten Lemmen) | Owned by: | seanfarley (Sean Farley) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | ||
| Port: | openmpi |
Description
Not sure whether this is the right place to report this, but I am missing a port openmpi-gcc8. Please add this.
Change History (2)
comment:1 Changed 6 years ago by mf2k (Frank Schima)
| Keywords: | openmpi gcc removed |
|---|---|
| Owner: | changed from sean@… to seanfarley |
| Port: | openmpi added; openmpi-gcc8 removed |
| Type: | request → enhancement |
comment:2 Changed 6 years ago by MarcusCalhoun-Lopez (Marcus Calhoun-Lopez)
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.
In 196503bf73f03b46fe38aece09484c95c914d6fc/macports-ports (master):