#38042: [Port Abandoned] coq ---------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.3 Keywords: | Port: coq ---------------------+-------------------------------- 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. -- Ticket URL: <https://trac.macports.org/ticket/38042> MacPorts <http://www.macports.org/> Ports system for Mac OS