Opened 11 years ago
Last modified 11 years ago
#38042 closed enhancement
[Port Abandoned] coq — at Version 1
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | ||
| 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 (1)
comment:1 Changed 11 years ago by mf2k (Frank Schima)
| Description: | modified (diff) |
|---|
Note: See
TracTickets for help on using
tickets.