Opened 11 years ago
Last modified 11 years ago
#38042 closed enhancement
[Port Abandoned] coq — at Initial Version
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | ||
| Port: | coq |
Description
It would appear that the Coq port has been abandoned.
See, for example:
- http://trac.macports.org/ticket/32074
- http://trac.macports.org/ticket/36005
- http://trac.macports.org/ticket/37425
There has been no sign of the maintainer replying to any ticket for the port in quite some time.
Note: See
TracTickets for help on using
tickets.