#13940: RFE: coq 8.1pl3 --------------------------------+------------------------------------------- Reporter: wss@cs.nott.ac.uk | Owner: ryandesign@macports.org Type: enhancement | Status: assigned Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.6.0 Resolution: | Keywords: coq --------------------------------+------------------------------------------- Changes (by ryandesign@macports.org): * owner: macports-tickets@lists.macosforge.org => ryandesign@macports.org * status: new => assigned Comment: Since the maintainer hasn't responded in over 72 hours, I'll take this ticket. -- Ticket URL: <http://trac.macports.org/ticket/13940#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS