#32074: coq: update to 8.3pl2 --------------------------------+------------------------------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: coq --------------------------------+------------------------------------------- Changes (by ryandesign@…): * cc: perry@… (removed) * owner: macports-tickets@… => reilles@… * version: 2.0.3 => * port: Coq => coq -- Ticket URL: <https://trac.macports.org/ticket/32074#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS