#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

#38042: [Port Abandoned] coq ----------------------+---------------------- Reporter: perry@… | Owner: raimue@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.3 Resolution: | Keywords: Port: coq | ----------------------+---------------------- Changes (by cal@…): * cc: jmr@…, ryandesign@… (added) * owner: macports-tickets@… => raimue@… Comment: Re-assigning to portmgr. -- Ticket URL: <https://trac.macports.org/ticket/38042#comment:3> MacPorts <http://www.macports.org/> Ports system for OS X