#18536: Upgrade to Coq 8.2 -------------------------------+-------------------------------------------- Reporter: wss@… | Owner: alakazam@… Type: enhancement | Status: assigned Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.7.0 Keywords: | Port: coq -------------------------------+-------------------------------------------- Changes (by alakazam@…): * owner: reilles@… => alakazam@… * status: new => assigned Comment: Per wss' request, I'll commit this update. Since he's provided patches for the recent coq Portfile updates, I've suggested he contact the current maintainer regarding a possible transfer of maintainership. -- Ticket URL: <http://trac.macports.org/ticket/18536#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS