#38696: Please update coq to 8.4pl2 ---------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.3 Keywords: | Port: coq ---------------------+-------------------------------- Please update coq to the latest version, 8.4pl2. A patch to the Portfile is enclosed. Please note that although there is a maintainer listed for this port, they haven't touched it in a very long time, and I've been the one submitting patches to maintain the port for quite a while now. I've already filed a ticket noting that the port seems to be abandoned. See https://trac.macports.org/ticket/38042 for the port abandoned ticket. -- Ticket URL: <https://trac.macports.org/ticket/38696> MacPorts <http://www.macports.org/> Ports system for OS X