#38042: [Port Abandoned] coq ----------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.3 Resolution: | Keywords: Port: coq | ----------------------+-------------------------------- Description changed by macsforever2000@…: Old 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.
New description: It would appear that the Coq port has been abandoned. See, for example: * ticket:32074 * ticket:36005 * ticket:37425 There has been no sign of the maintainer replying to any ticket for the port in quite some time. -- -- Ticket URL: <https://trac.macports.org/ticket/38042#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS