#32074: Please upgrade Coq to 8.3pl2 --------------------------------+------------------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.0.3 Keywords: | Port: Coq --------------------------------+------------------------------------------- Coq 8.3pl2 has been out for some time -- the port should probably be updated. -- Ticket URL: <https://trac.macports.org/ticket/32074> MacPorts <http://www.macports.org/> Ports system for Mac OS