Opened 12 years ago
Closed 11 years ago
#38042 closed enhancement (fixed)
[Port Abandoned] coq
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | raimue (Rainer Müller) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | reilles@…, jmroot (Joshua Root), ryandesign (Ryan Carsten Schmidt) | |
| Port: | coq |
Description (last modified by mf2k (Frank Schima))
It would appear that the Coq port has been abandoned.
See, for example:
There has been no sign of the maintainer replying to any ticket for the port in quite some time.
Change History (4)
comment:1 Changed 12 years ago by mf2k (Frank Schima)
| Description: | modified (diff) |
|---|
comment:2 Changed 12 years ago by jmroot (Joshua Root)
| Cc: | reilles@… added |
|---|
comment:3 Changed 12 years ago by neverpanic (Clemens Lang)
| Cc: | jmr@… ryandesign@… added |
|---|---|
| Owner: | changed from macports-tickets@… to raimue@… |
comment:4 Changed 11 years ago by larryv (Lawrence Velázquez)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
| Type: | defect → enhancement |
| Version: | 2.1.3 |
I orphaned this port in r106340. Perry, would you be interested in being the official maintainer?
Note: See
TracTickets for help on using
tickets.
Re-assigning to portmgr.