#36005: Please upgrade Coq to 8.4 --------------------------------+------------------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: | Port: coq --------------------------------+------------------------------------------- Coq 8.4 was released a few weeks ago. The update is quite simple -- just bumping the version number and the checksums. I've enclosed a patch. -- Ticket URL: <https://trac.macports.org/ticket/36005> MacPorts <http://www.macports.org/> Ports system for Mac OS