#32074: coq: update to 8.3pl2 ---------------------------------+------------------------------------------ Reporter: perry@… | Owner: reilles@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: fixed | Keywords: Port: coq | ---------------------------------+------------------------------------------ Changes (by dports@…): * status: new => closed * resolution: => fixed Comment: Applied in r87727 -- Ticket URL: <https://trac.macports.org/ticket/32074#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS