#18536: Upgrade to Coq 8.2 --------------------------------+------------------------------------------- Reporter: wss@… | Owner: alakazam@… Type: enhancement | Status: closed Priority: Normal | Milestone: Port Updates Component: ports | Version: 1.7.0 Resolution: fixed | Keywords: Port: coq | --------------------------------+------------------------------------------- Changes (by alakazam@…): * status: assigned => closed * resolution: => fixed Comment: Updated in r47219 (maintainer timeout). -- Ticket URL: <http://trac.macports.org/ticket/18536#comment:4> MacPorts <http://www.macports.org/> Ports system for Mac OS